An Algebraic Box Calculus

A-nets, a high level class of labeled Petri nets introduced in order to cope with structured data and typing, are provided with an algebraic structure allowing to compositionally construct complex systems from simple building blocks. Standard Petri Box Calculus control flow operations are complemented here by a generalized synchronization mechanism based on parameter identification, of which various forms are examined. Its usefulness is illustrated in the semantics of a parallel program.