Abstract
We show that, as transition systems, Petri nets may be expressed by terms of a calculus of processes which is a variant of Milner's SCCS. We then prove that the class of labelled nets forms a subcalculus, thus an algebra, with juxtaposition, adding condition and labelling as primitive operations. Finally we introduce rational machines which express explicit synchronizations on nets.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. André, P. Armand & F. Boeri: "Synchronic relations and applications in parallel computations", Digital Process 5 (1979), 99–113
D. Austry, G. Boudol: "Algèbre de processus et synchronisation", Theoret. Comput. Sci. 30 (1984)
G. Boudol: "Notes on algebraic calculi of process", Logics and Models of Concurrent Systems (K. Apt, Ed.), NATO ASI Series, Vol. F13 (Springer, Berlin, 1985) 261–303 (also INRIA Res. Rep. 395)
W. Brauer (editor): "Advanced course on general net theory of processes and systems", Hamburg 1979. Lecture Notes in Comput. Sci. 84 (Springer, Berlin, 1980)
G.W. Brams: "Réseaux de Petri: théorie et pratique", (Masson, Paris, 1983)
R.H. Campbell, P.E. Lauer: "Formal semantics for a class of high-level primitives for coordinating concurrent processes". Acta Informatica 5 (1975), 247–332
S. Eilenberg & M.P. Schutzenberger: "Rational sets in Commutative monoids", Journal of Algebra 13 (1969), 173–191
S. Eilenberg: "Automata, Languages and Machines" Vol.A, Academic Press (1974)
U. Goltz, A. Mycroft: "On the relationship of CCS and Petri Nets", ICALP 84, Lecture Notes in Comput. Sci. 172 (Springer, Berlin, 1984), 196–208
V.E. Kotov: "An algebra for parallelism based on Petri nets", MFCS 79, Lecture Notes in Comput. Sci. 64 (Springer, Berlin, 1979), 39–55
R. Milner: "Flowgraphs and flow algebras", JACM 26 (1979), 794–818
R. Milner: "A calculus of communicating systems", Lecture Notes in Comput. Sci., 92 (Springer, Berlin, 1980)
R. Milner: "On relating synchrony and asynchrony", Tech. Rept. CSR-75-80, Comput. Sci. Dept., Edinburgh Univ. 1980
R. Milner: "Calculi for synchrony and asynchrony", Theoret. Comput. Sci. 25 (1983), 267–310
J.L. Peterson: "Petri nets", Comput. Surveys 9 (1977), 223–252
J.L. Peterson: "Petri net theory and the modeling of systems". Prentice Hall (1981)
G. Rozenberg, R. Verraedt: "Subset languages of Petri nets", Part I, Theoret. Comput. Sci. 26 (1983), 301–326
R. de Simone: "Higher-Level synchronizing devices in Meije-SCCS", INRIA Res. Rep. no 360 (1985). To appear in TCS 40
G. Winskel: "Categories of models for concurrency", Seminar on Concurrency, Lecture Notes in Comput. Sci. 197 (Springer, Berlin, 1985) 246–267
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boudol, G., Roucairol, G., de Simone, R. (1986). Petri nets and algebraic calculi of processes. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016205
Download citation
DOI: https://doi.org/10.1007/BFb0016205
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16480-7
Online ISBN: 978-3-540-39822-6
eBook Packages: Springer Book Archive