184 search results - page 14 / 37 » Distributed Unfolding of Petri Nets |
CMMR
2005
Springer
13 years 9 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
REX
1993
13 years 11 months ago
1993
REX
1993
13 years 11 months ago
1993
ATAL
2004
Springer
14 years 1 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...
APN
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...