184 search results - page 14 / 37 » Distributed Unfolding of Petri Nets |
172
click to vote
CMMR
2005
Springer
15 years 7 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-...
135
Voted
ATAL
2004
Springer
15 years 11 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...
169
click to vote
APN
2007
Springer
15 years 12 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...