In: Fundamenta Informaticae, Vol. 14, pages 477-491. 1991.
Abstract: In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.
Keywords: axiomatic characterization (of a class of nets); case graph; marked net.