Petri nets and algebraic calculi of processes
- Cite this paper as:
- Boudol C., Roucairol C., de Simone R. (1985) Petri nets and algebraic calculi of processes. In: Mehlhorn K. (eds) STACS 85. STACS 1985. Lecture Notes in Computer Science, vol 182. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.