Petri net-based cooperation in multi-agent systems

被引：10

作者：

Kotb, Y. T. ^{[1
]}

Beauchemin, S. S. ^{[1
]}

Barron, J. L. ^{[1
]}

机构：

[1] Univ Western Ontario, Dept Comp Sci, London, ON N6A 5B7, Canada

来源：

FOURTH CANADIAN CONFERENCE ON COMPUTER AND ROBOT VISION, PROCEEDINGS | 2007年

关键词：

D O I：

10.1109/CRV.2007.49

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as work-flow 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.

引用

页码：123 / +

页数：2

共 15 条

[1]

[Anonymous], MULTI AGENT ROBOTIC

[2] Guest editorial - Advances in multirobot systems [J].

Arai, T ;

Pagello, E ;

Parker, LE .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (05) :655-661

[3]

Balch T., 2002, ROBOT TEAMS DIVERSIT

[4] Cooperative mobile robotics: Antecedents and directions [J].

Cao, YU ;

Fukunaga, AS ;

Kahng, AB .

AUTONOMOUS ROBOTS, 1997, 4 (01) :7-27

[5]

CHEBBI J, 2004, TUV1841200423

[6]

Gerkey BP, 2003, IEEE INT CONF ROBOT, P3862

[7]

GRIGORI D, 2003, INT J SOFTWARE ENG K, V14

[8]

HADDAD JE, 2003, P ACS IEEE INT C COM

[9] Synchronization among activities in a workflow using extended workflow Petri nets [J].

Kotb, YT ;

Badreddin, E .

CEC 2005: SEVENTH IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY, PROCEEDINGS, 2005, :548-551

[10]

Lima P, 1998, IEEE SYS MAN CYBERN, P190, DOI 10.1109/ICSMC.1998.725407

← 1 2 →