A new synchronization in finite stochastic Petri box calculus

The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of sPBC (stochastic PBC) [H. Macia et al., (2001)] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal is to improve the semantics for the synchronization operator, in order to define a stochastic equivalence relation.

[1]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[2]  David de Frutos-Escrig,et al.  SPBC: a Markovian extension of finite Petri box calculus , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[3]  Maciej Koutny,et al.  Petri Nets, Process Algebras and Concurrent Programming Languages , 1996, Petri Nets.

[4]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[5]  Maciej Koutny,et al.  Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.

[6]  Marina Ribaudo,et al.  Stochastic Petri net semantics for stochastic process algebras , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[7]  Raymond R. Devillers,et al.  The box calculus: a new causal algebra with multi-label communication , 1992, Advances in Petri Nets: The DEMON Project.

[8]  Maciej Koutny,et al.  A Refined View of the Box Algebra , 1995, Application and Theory of Petri Nets.

[9]  Maciej Koutny,et al.  A Compositional Model of Time Petri Nets , 2000, ICATPN.

[10]  J. Hillston.  The nature of synchronisation , 1994 .

[11]  Jane Hillston.  Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling , 1994 .

[12]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[13]  David de Frutos-Escrig,et al.  Extending the Petri Box Calculus with Time , 2001, ICATPN.

[14]  Jos C. M. Baeten,et al.  The Total Order Assumption , 1992, NAPAW.

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