253 search results - page 15 / 51 » Formal analysis of timed continuous Petri nets |
194
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
161
click to vote
WSC
2004
15 years 7 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
189
click to vote
INFORMS
1998
15 years 5 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
186
click to vote
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
132
click to vote
IAJIT
2010
15 years 4 months ago
2010
: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...