Report KfK--4635, pages 1-12 pp.. Karlsruhe, Germany: Kernforschungszentrum, 1990.
Abstract: 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 reachability graph of a (marked) Petri net.
Keywords: algebraic characterization (of nets); reachability graph; marked net; place/transition net.
Back to the Petri Nets Bibliography