454 search results - page 40 / 91 » Modeling and analysis of multi-agent systems using petri net... |
113
click to vote
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
155
click to vote
TII
2008
15 years 1 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
141
click to vote
FORMATS
2010
Springer
14 years 12 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...
100
click to vote
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
106
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...