Synthesis Rules for Petri Nets, and How they Lead to New Results.

For the most recent entries see the Petri Nets Newsletter.

Synthesis Rules for Petri Nets, and How they Lead to New Results.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography