R.P. Hopkins
University of Newcastle upon Tyne. 1993
The Petri Box Calculus (PBC) is a syntactic superstructure built on labelled Petri nets which provides a model-driven true-concurrency process algebra. It is being developed in order to address the compositionality of Petri nets and provide an intermediate formalism for the compositional Petri net semantics of programming languages. This report gives a new formulation of recursion for the PBC and makes a number of contributions to possible further development of the PBC.