Negotiation as concurrency primitive

We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation. We provide a complete set of reduction rules for sound, acyclic, weakly deterministic negotiations and show that, for deterministic negotiations, the rules compute the summary in polynomial time.

[1]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[2]  Javier Esparza,et al.  Decidability and Complexity of Petri Net Problems - An Introduction , 1996, Petri Nets.

[3]  Serge Haddad,et al.  A reduction theory for coloured nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[4]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[5]  Roberto Bruni,et al.  Executing Transactions in Zero-Safe Nets , 2000, ICATPN.

[6]  Joseph Sifakis,et al.  The Algebra of Connectors - Structuring Interaction in BIP , 2008, IEEE Trans. Computers.

[7]  Boudewijn F. van Dongen,et al.  Verification of EPCs: Using Reduction Rules and Petri Nets , 2005, CAiSE.

[8]  Joseph Sifakis,et al.  Rigorous Component-Based System Design Using the BIP Framework , 2011, IEEE Software.

[9]  P. S. Thiagarajan,et al.  A Theory of Bipolar Synchronization Schemes , 1984, Theor. Comput. Sci..

[10]  Luca Padovani,et al.  On Global Types and Multi-Party Session , 2012, Log. Methods Comput. Sci..

[11]  Roberto Bruni,et al.  Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets , 2003, Lectures on Concurrency and Petri Nets.

[12]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[13]  Mihalis Yannakakis,et al.  The complexity of facets (and some facets of complexity) , 1982, STOC '82.

[14]  Moe Thandar Wynn,et al.  Reduction rules for reset/inhibitor nets , 2010, J. Comput. Syst. Sci..

[15]  Wil M. P. van der Aalst,et al.  Spiℂa's Multi-Party Negotiation Protocol: Implementation Using YAWL , 2011, Int. J. Cooperative Inf. Syst..

[16]  Jörg Desel,et al.  Reduction and Design of Well-behaved Concurrent Systems , 1990, CONCUR.

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[19]  Yongquan Liang,et al.  A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce , 2009, PRIMA.

[20]  Gérard Berthelot.  Transformations and Decompositions of Nets , 1986 .

[21]  Jean-François Pradat-Peyre,et al.  New Efficient Petri Nets Reductions for Parallel Programs Verification , 2006, Parallel Process. Lett..

[22]  Gwen Salaün,et al.  Negotiation Among Web Services Using LOTOS/CADP , 2004, ECOWS.