Negotiations and Petri nets

Jörg Desel, Javier Esparza

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

1 Zitat (Scopus)

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?.

OriginalspracheEnglisch
TitelTransactions on Petri Nets and Other Models of Concurrency XI
Redakteure/-innenMaciej Koutny, Jörg Desel, Jetty Kleijn
Herausgeber (Verlag)Springer Verlag
Seiten203-225
Seitenumfang23
ISBN (Print)9783662534007
DOIs
PublikationsstatusVeröffentlicht - 2016
Veranstaltung11th 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 - Brussels, Belgien
Dauer: 22 Juni 201526 Juni 2015

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band9930 LNCS
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

Konferenz11th 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
Land/GebietBelgien
OrtBrussels
Zeitraum22/06/1526/06/15

Fingerprint

Untersuchen Sie die Forschungsthemen von „Negotiations and Petri nets“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren