Stochastic Petri net semantics for stochastic process algebras

We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov equivalence for the stochastic aspects.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Ursula Goltz.  CCS and Petri Nets , 1990, Semantics of Systems of Concurrent Processes.

[3]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.

[4]  Dirk A. Taubner,et al.  Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets , 1989, Lecture Notes in Computer Science.

[5]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

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

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

[8]  Rob J. van Glabbeek,et al.  Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Roberto Gorrieri,et al.  MPA: a Stochastic Process Algebra , 1994 .

[11]  Gordon Plotkin,et al.  An Operational Semantics for CSP. , 1982 .

[12]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

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

[14]  Roberto Gorrieri,et al.  Describing Queueing Systems with MPA , 1994 .

[15]  Ernst-Rüdiger Olderog,et al.  Nets, terms and formulas , 1991 .

[16]  Ursula Goltz.  On Representing CCS Programs by Finite Petri Nets , 1988, MFCS.

[17]  Ernst-Rüdiger Olderog,et al.  Operational Petri net semantics for CCSP , 1986, European Workshop on Applications and Theory of Petri Nets.

[18]  Antoni W. Mazurkiewicz,et al.  Trace Theory , 1986, Advances in Petri Nets.

[19]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[20]  Norbert Götz,et al.  Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.

[21]  John G. Kemeny,et al.  Finite Markov Chains. , 1960 .