In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 380-400. Berlin, Heidelberg, New York: Springer-Verlag, 1988.
Abstract: An analysis is presented of an interesting class of Petri nets: Deterministic systems of sequential processes. This class is extended, and some new theoretical results are given. It is shown how these theorems have been implemented by rules in an expert system for Petri net analysis.