In: Proc. of the 4th South African Computer Symposium, pages 25-43. 1987.
Abstract: This paper presents a formal technique for enforcing deterministic execution in Petri nets, and proceeds to demonstrate how the resultant topology may be used to enforce partial sequencing so that various sequentially-executing subnets may execute in parallel. Using this sequencing technique, isomorphisms between various programming language constructs and Petri nets are defined.