DocumentCode
2795347
Title
Petri Net-Based Cooperation In Multi-Agent Systems
Author
Kotb, Y.T. ; Beauchemin, S.S. ; Barron, J.L.
Author_Institution
Univ. of Western Ontario, London
fYear
2007
fDate
28-30 May 2007
Firstpage
123
Lastpage
130
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 based on the task coverage they maintain. Our choice is motivated by the fact that Petri nets handle concurrency and that goal reachability can be theoretically established. We describe the means by which cooperation is performed with Petri nets and analyze their structural and behavioral characteristics in order to show the correctness of our framework.
Keywords
Petri nets; mobile agents; multi-agent systems; multi-robot systems; path planning; reachability analysis; Petri net-based cooperation; concurrency handling; mobile agents; multiagent systems; protocol; reachability criterion; robotic cooperation; robotic navigation problems; workflow nets; Computer science; Concurrent computing; Mobile agents; Mobile robots; Multiagent systems; Petri nets; Protocols; Resource management; Robot sensing systems; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Robot Vision, 2007. CRV '07. Fourth Canadian Conference on
Conference_Location
Montreal, Que.
Print_ISBN
0-7695-2786-8
Type
conf
DOI
10.1109/CRV.2007.49
Filename
4228531
Link To Document