Introducing the Iteration in sPBC

The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based on stochastic Petri nets. With this new operator we can model some repetitive behaviours, and then we obtain a formal method that can be easily used for the design of communication protocols and distributed systems.

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

[2]  Valentín Valero Ruiz,et al.  A new synchronization in finite stochastic Petri box calculus , 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

[3]  Robin Milner.  The Flux of Interaction , 2001, ICATPN.

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

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

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

[7]  H. Hermanns,et al.  Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .

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

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

[10]  Maciej Koutny,et al.  A Unified Model for Nets and Process Algebras , 2001, Handbook of Process Algebra.

[11]  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.

[12]  Giorgio De Michelis,et al.  Application and Theory of Petri Nets 1995 , 1995 .

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

[14]  Mogens Nielsen,et al.  Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings , 2000, ICATPN.

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

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

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

[18]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.

[19]  Roberto Gorrieri,et al.  A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time , 1998, Theor. Comput. Sci..

[20]  Grzegorz Rozenberg.  Advances in Petri Nets 1992 , 1992, Lecture Notes in Computer Science.

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

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

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