236 search results - page 1 / 48 » Analysis of multi-agent activity using petri nets |
CRV
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
ECLIPSE
2005
ACM
13 years 6 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
SERP
2007
13 years 6 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
CIMCA
2008
IEEE
13 years 11 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
PR
2010
13 years 3 months ago
2010
