90: Hildesheimer Informatik-Berichte 5, pages 1-16 pp.. Universität Hildesheim (Germany), Institut für Informatik, 1990.
Also in: Baeten, J.C.M.; et al.: Lecture Notes in Computer Science, Vol. 458; CONCUR'90, Theories of Concurrency: Unification and Extension. (Conference, 1990, Amsterdam, The Netherlands), pages 182-198. Berlin, Germany: Springer-Verlag, 1990.
Abstract: Three kits of rules for top-down sythesis of Petri nets are introduced. The properties and expressive power of the kits are compared. They are then used to characterise the class of structurelly live Free Choice nets by means of the rank of the incidence matrix.
Keywords: synthesis rule; top-down sythesis (of nets); structurelly live; free choice net; rank (of) incidence matrix.
Back to the Petri Nets Bibliography