Workflow Nets for Multiagent Cooperation

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, or soundness, can be theoretically established. In particular, we define a mathematical cooperation operator which turns cooperation problems expressed as workflow nets into algebraic representations. While we do not address the problem of efficiency, we formally demonstrate that this framework guarantees soundness, or goal reachability, using workflow nets.

[1]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[2]  Kamel Barkaoui,et al.  Uniform verification of workflow soundness , 2011 .

[3]  J. L. Barron,et al.  Work-Flow Nets for Multi-Agent Cooperation , 2011 .

[4]  Lynne E. Parker,et al.  Editorial: Advances in Multi-Robot Systems , 2002 .

[5]  MengChu Zhou,et al.  Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach , 2010, IEEE Transactions on Automation Science and Engineering.

[6]  Jacek Malec,et al.  Mobile robot cooperation in simple environments , 2001, Proceedings of the Second International Workshop on Robot Motion and Control. RoMoCo'01 (IEEE Cat. No.01EX535).

[7]  Serge Haddad,et al.  Self-stabilizing scheduling algorithm for cooperating robots , 2003 .

[8]  Mathias Weske,et al.  Advanced Topics in Workflow Management: Issues, Requirements, and solutions , 2003, Trans. SDPS.

[9]  Wil M. P. van der Aalst,et al.  Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..

[10]  Moe Key.  Verification of workflow nets with transition conditions , 2012 .

[11]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .

[12]  Maryam Purvis,et al.  An adaptive distributed workflow system framework , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[13]  Lynne E. Parker,et al.  Robot Teams: From Diversity to Polymorphism , 2002 .

[14]  Leyuan Shi,et al.  IEEE Transactions on Automation Science and Engineering , 2009, IEEE Transactions on Automation Science and Engineering.

[15]  Wil M.P. van der Aalst.  Modelling and analysing workflow using a Petri-net based approach , 1994 .

[16]  Wolfgang Reisig,et al.  Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.

[17]  Lynne E. Parker,et al.  Guest editorial advances in multirobot systems , 2002, IEEE Trans. Robotics Autom..

[18]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[19]  Essameddin Badreddin,et al.  Synchronization among activities in a workflow using extended workflow Petri nets , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).