454 search results - page 39 / 91 » Modeling and analysis of multi-agent systems using petri net... |
111
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
140
click to vote
LATA
2010
Springer
15 years 11 days ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
ENTCS
2002
15 years 1 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
122
click to vote
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...