论文信息 - Elementary structural analysis for PEPA

Elementary structural analysis for PEPA

We consider the adaptation of important structural techniques for analysing behavioural properties of Petri nets to models expressed in process algebras such as PEPA [Hil96].

Stephen Gilmore | Jane Hillston | Laura Recalde

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

[2] José Manuel Colom Piazuelo. Análisis estructural de Redes de Petri, programación lineal y geometría convexa , 1989 .

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

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

[5] Simon Peck,et al. Practice of Petri Nets in Manufacturing , 1993 .

[6] Marco Ajmone Marsan,et al. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[7] Roberto Gorrieri,et al. A Distributed Semantics for EMPA Based on Stochastic Contextual Nets , 1995, Comput. J..

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

[9] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .

[10] Manuel Silva Suárez,et al. Structure Theory of Equal Conflict Systems , 1996, Theor. Comput. Sci..

[11] Matteo Sereno. Towards a Product Form Solution for Stochastic Process Algebras , 1995, Comput. J..