In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 20-43. Springer-Verlag, 1988.
Abstract: To define classes of high level nets having structured (individual) tokens is a fundamental goal for making nets actually usable. In this paper, a class of high-level Petri nets is defined, namely OBSJA net systems. These nets can be decomposed into state-machine components, and the domains to which individual tokens belong are defined as abstract data types.