Petri nets and dynamic causality for service-oriented computations

When dealing with service oriented computations the dependencies among the various distributed activities may be complex and difficult to represent statically. Recently Event Structures where the causality may change dynamically have been introduced and have been related with many other kind of Event Structures (with a particular focus on expressivity). In this paper we relate them to a kind of (labeled) Petri net which turns out to cover these new Event Structures. This relationship empowers the usage of all the available verification tools based on Petri nets, giving practical and usable means for the verification of the complex and distributed system whose behavior is modeled by this kind of event structures.

[1]  Gérard Boudol.  Flow Event Structures and Flow Nets , 1990, Semantics of Systems of Concurrent Processes.

[2]  Uwe Nestmann,et al.  Dynamic Causality in Event Structures , 2015, FORTE.

[3]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[4]  G. Michele Pinna,et al.  Domain and event structure semantics for Petri nets with read and inhibitor arcs , 2004, Theor. Comput. Sci..

[5]  G. Michele Pinna,et al.  On the Nature of Events: Another Perspective in Concurrency , 1995, Theor. Comput. Sci..

[6]  Joost Engelfriet,et al.  Branching processes of Petri nets , 1991, Acta Informatica.

[7]  G. Michele Pinna,et al.  Lending Petri nets , 2015, Sci. Comput. Program..

[8]  Ugo Montanari,et al.  Contextual Petri Nets, Asymmetric Event Structures, and Processes , 2001, Inf. Comput..

[9]  Uwe Nestmann,et al.  Dynamic Causality in Event Structures (Technical Report) , 2015, ArXiv.

[10]  Rom Langerak,et al.  Bundle event structures: a non-interleaving semantics for LOTOS , 1992, FORTE.

[11]  G. Michele Pinna,et al.  Circular Causality in Event Structures , 2014, Fundam. Informaticae.

[12]  Gordon D. Plotkin,et al.  Configuration structures, event structures and Petri nets , 2009, Theor. Comput. Sci..

[13]  Joost-Pieter Katoen,et al.  Quantitative and Qualitative Extensions of Event Structures , 1996 .

[14]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[15]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[16]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[17]  Jeremy Gunawardena,et al.  Causal automata , 1992, Theor. Comput. Sci..

[18]  G. Michele Pinna,et al.  Lending Petri nets , 2012, Sci. Comput. Program..

[19]  Francesca Rossi,et al.  Contextual nets , 1995, Acta Informatica.

[20]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..