Negotiations and Petri Nets

Negotiations have recently been introduced as a model of concurrency with multi-party negotiation atoms as primitive. This paper studies the relation between negotiations and Petri nets. In particular, we show that each negotiation can be translated into a 1-safe labelled Petri net with equivalent behaviour. In the general case, this Petri net is exponentially larger than the negotiation. For deterministic negotiations, however, the corresponding Petri has linear size compared to the negotiation, and it enjoys the free-choice property. We show that for this class the negotiation is sound if and only if the corresponding Petri net is sound. Finally, we have a look at the converse direction: given a Petri net, can we find a corresponding negotiation?

[1]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[2]  Anca Muscholl,et al.  Message Sequence Charts , 2003, Lectures on Concurrency and Petri Nets.

[3]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[4]  Haiping Xu,et al.  An agent-based Petri net model with application to seller/buyer design in electronic commerce , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[5]  Javier Esparza,et al.  Reduction Rules for Colored Workflow Nets , 2016, FASE.

[6]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

[7]  Timothy W. Finin,et al.  A negotiation-based Multi-agent System for Supply Chain Management , 1999 .

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

[9]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

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

[11]  K.E. Seamons,et al.  Automated trust negotiation , 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.

[12]  Jörg Desel,et al.  On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations , 2014, FoSSaCS.

[13]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[14]  Vineet Kahlon,et al.  Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols , 2003, TACAS.

[15]  Tevfik Bultan,et al.  Realizability of Choreographies Using Process Algebra Encodings , 2012, IEEE Trans. Serv. Comput..

[16]  Jörg Desel,et al.  Negotiation Programs , 2015, Petri Nets.