Petri net plans: A formal model for representation and execution of multi-robot plans

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2008, Pages 80-87

  Ziparo, V A ^a   Locchi, L ^a   Nardi, D ^a   Palamara, R R ^a   Costelha, H ^b  

^a Dipartimento di Informatica e Sistemistica   (Italy)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTONOMOUS AGENTS; INDUSTRIAL ROBOTS; MULTI AGENT SYSTEMS; PETRI NETS; ROBOT PROGRAMMING; SEMANTICS;

APPLICATION SCENARIO; DYNAMIC ENVIRONMENTS; FORMAL MODEL; MULTIROBOTS; RELIABLE COMMUNICATION; ROBOTIC AGENTS; SOUND AND COMPLETE; UNPREDICTABLE ENVIRONMENTS;

MULTIPURPOSE ROBOTS;

EID: 84899934751     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Extra Material Web Page. www.dis.uniromal.it/~ziparo/pnp-extras.html.
2. H. Costelha and P. Lima. Modelling, analysis and execution of robotic tasks using petri nets. Intelligent Robots and Systems, 2(H)7. IROS 2007.1EEE/RSJ International Conference on, pages 1449-1454, Oct. 29 2007-Nov. 2 2007.
3. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Planning with sensing for a mobile robot. In Proc. of 4th European Conference on Planning (ECP'97). 1997.
4. G. DeGiacomo, Y. Lesperance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Anijicial Intelligence. 121 ( 1-2): 109-169.2000.
5. E. H. Durfee. Distributed problem solving and planning. In G. Weiss, editor, Muhiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 121-164. MIT Press, 1999.
6. A. Farinelli, L. Iocchi, D. Nardi, and V. A. Ziparo. Assignment of dynamically perceived tasks by token passing in multi-robot systems. Proceedings of the IEEE, Special issue on Multi-Robot Systems. 94(7): 1271-1288, 2006.
7. K. Konolige. COLBERT: A language for reactive control in sapphira. Lecture Notes in Computer Science, 1303:31-50, 1997.
8. M. Lötzsch, J. Bach. H.-D. Burkhard, and M. Jiingel. Designing agent behavior with the extensible agent behavior specification language XABSL. [n D. Polani, B. Browning, and A. Bonarini, editors, RoboCup 2003: Robot Soccer World Cup VII. volume 3020 of Lecture Notes in Artificial Intelligence, pages 114-124. Padova, Italy. 2004. Springer.
9. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
10. S. J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Pearson Education, 2003. Second Edition.
11. R. Scherl and H. J. Levesque. The frame problem and knowledge producing actions, pages 689-695, 1993.
12. W. Sheng and Q. Yang. Peer-to-peer multi-robot coordination algorithms: petri net based analysis and design. Advanced Intelligent Mechalronics. Proceedings, 2005IEEE/ASME International Conference on, pages 1407-1412, 24-28 July 2005.
13. V. A. Ziparo and L. Iocchi. Petri net plans. In Proceedings of Fourth International Workshop on Modelling of Objects, Components, and Agents (MOCA), pages 267-290, Turku, Finland. 2006.