454 search results - page 32 / 91 » Modeling and analysis of multi-agent systems using petri net... |
114
click to vote
APN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
118
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
111
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
108
click to vote
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...