@inproceedings{59dc9629b87a4d0689facb66d87b6283,
title = "Negotiations and Petri nets",
abstract = "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?.",
keywords = "Free-choice nets, Negotiations, Petri nets, Soundness",
author = "J{\"o}rg Desel and Javier Esparza",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2016.; 11th Issue of LNCS Transactions on Petri Nets and Other Models of Concurrency, ToPNoC 2015 and Workshops held at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design, ACSD 2015 ; Conference date: 22-06-2015 Through 26-06-2015",
year = "2016",
doi = "10.1007/978-3-662-53401-4_10",
language = "English",
isbn = "9783662534007",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "203--225",
editor = "Maciej Koutny and J{\"o}rg Desel and Jetty Kleijn",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency XI",
}