Asynchronous Traces and Open Petri Nets - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Asynchronous Traces and Open Petri Nets

Paolo Baldan
  • Fonction : Auteur
  • PersonId : 831136
Filippo Bonchi
Fabio Gadducci
  • Fonction : Auteur
  • PersonId : 894474
Valentina Monreale
  • Fonction : Auteur
  • PersonId : 894475

Résumé

The relation between process calculi and Petri nets, two fundamental models of concurrency, has been widely investigated. Many proposals exist for encoding process calculi into Petri nets while preserving some behavioural features of interest. We recently introduced a framework where a net encoding can be defined uniformly for calculi with different communication patterns, including synchronous two-party, multi-party, and asynchronous communication. The encoding preserves and reflects several behavioural semantics, notably bisimulation equivalence. The situation is less immediate for asynchronous calculi and trace semantics: considering traces that arise when viewing asynchronous calculi as a fragment of the synchronous ones, trace equivalence is not reflected by the encoding. Focusing on CCS, we argue that this phenomenon is related to the imperfect match between trace inclusion and may testing preorder. We consider an alternative labelled transition systems where the latter issue is solved, and we show that, indeed, the corresponding trace semantics is preserved and reflected by the net encoding.
Fichier non déposé

Dates et versions

hal-01285297 , version 1 (08-03-2016)

Identifiants

Citer

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale. Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Jun 2015, Pisa, Italy. pp.86-102, ⟨10.1007/978-3-319-25527-9_8⟩. ⟨hal-01285297⟩
201 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More