Abstract
The paper outlines a Petri net as well as a structural operational semantics for an algebra of process expressions. It specifically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The paper proceeds in arguably the most general setting. For it allows infinite operators, and recursive definitions which can be unguarded and involve infinitely many recursion variables. The main result is that it is possible to obtain a framework where process expressions can be given two, entirely consistent, kinds of semantics, one based on Petri nets, the other on SOS rules.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Baeten, W.P. Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 (1990).
E. Best, R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55:87–136 (1988).
E. Best, R. Devillers, J. Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Springer-Verlag, LNCS 665:130–140 (1993).
E. Best, R. Devillers, J.G. Hall: The Petri Box Calculus: A New Causal Algebra with Multilabel Communication. Springer-Verlag, LNCS 609:21–69 (1992.
E. Best, R. Devillers, M. Koutny: Petri Nets, Process Algebras and Concurrent Programming Languages. Lectures on Petri Nets II: Applications, Advances in Petri Nets. Springer-Verlag, LNCS 1492:1–84 (1998).
E. Best, R. Devillers, M. Koutny: Petri Net Algebra. Book Manuscript (1999).
G. Boudol, I. Castellani: Flow Models of Distributed Computations: Event Structures and Nets. Rapport de Recherche, INRIA, Sophia Antipolis (1991).
P. Degano, R. De Nicola, U. Montanari: A Distributed Operational Semantics for CCS Based on C/E Systems. Acta Informtaica 26:59–91 (1988).
R. Devillers: S-invariant Analysis of Recursive Petri Boxes. Acta Informatica 32:313–345 (1995).
R. Devillers, M. Koutny: Recursive Nets in the Box Algebra. Proc. of CSD’ 98 Conference, Fukushima, Japan, IEEE CS, 239–249 (1998).
U. Goltz: On Representing CCS Programs by Finite Petri Nets. Springher-Verlag, LNCS 324:339–350 (1988).
U. Goltz, R. Loogen: A Non-interleaving Semantic Model for Nondeterministic Concurrent Processes. Fundamenta Informaticae 14:39–73 (1991).
M. Hesketh, M. Koutny: An Axiomatisation of Duplication Equivalence in Petri Box Calculus. Springer-Verlag, LNCS 1420:165–184 (1998).
C.A.R. Hoarae: Communicating Sequential Processes. Prentice Hall (1985).
R. Janicki, P.E. Lauer: Specification and Analysis of Concurrent Systems —; the COSY Approach. Springer-Verlag, LNCS EATCS Monographs on Theoretical Computer Science (1992).
M. Koutny, E. Best: Fundamental Study: Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science 211:1–83 (1999).
A. Mazurkiewicz: Trace Theory. Springer-Verlag, LNCS 255:279–324 (1987).
R. Milner: Communication and Currency. Prentice hall (1989).
T. Murata: Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77:541–580(1989).
E.-R. Olderog: Nets, Terms and Formulas. Cambridge Tracts in Th. Comp. Sci. 23 (1991).
G. Plotkin: A Structural Approach to Operational Semantics. DAIMI Technical Report FN-19, Computer Science Department, University of Arhus (1981).
W. Reisig: Petri Nets. An introduction. Springer-Verlag, EATCS Monographs on Theoretical Computer Science (1985).
D. Taubner: Finite Representation of CCS and TCSP Programs by Automata and Petri Nets. Springer-Verlag, LNCS 369 (1989).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Best, E., Devillers, R., Koutny, M. (1999). The Box Algebra —; A Model of Nets and Process Expressions. In: Donatelli, S., Kleijn, J. (eds) Application and Theory of Petri Nets 1999. ICATPN 1999. Lecture Notes in Computer Science, vol 1639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48745-X_21
Download citation
DOI: https://doi.org/10.1007/3-540-48745-X_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66132-0
Online ISBN: 978-3-540-48745-6
eBook Packages: Springer Book Archive