In: Proc. of the 3rd Annual Symposium on Logic in Computer Science, Edinburgh 1988, pages 142-154. Washington: IEEE Comput. Soc. Press, 1988.
Abstract: An attempt is made to cast labeled Petri nets and other models in an algebraic framework. One aim is to utilize the framework of categorical logic to systematize specification languages and the derivation of proof systems for parallel processes. A category of labeled nets is presented, and its categorical constructions are used to establish a compositional proof system.