Synthesis rules for Petri nets, and how they lead to new results
Three kits of rules for top-down synthesis of Petri nets are introduced. The properties and expressive power of the kits are compared. They are then used to characterise the class of structurally live Free Choice nets by means of the rank of the incidence matrix.
Unable to display preview. Download preview PDF.
- Best, E.: Structure Theory of Petri Nets: the Free Choice Hiatus, Advanced Course on Petri Nets, Bad Honnef, Lecture Notes on Computer Science 254–255, Springer (1987).Google Scholar
- Campos, J; Chiola, G.: Private communication (1989).Google Scholar
- Esparza, J.; Silva, M.: Top-down Synthesis of Live & Bounded Free Choice Nets. To appear in: Proceedings of the XI International Conference on Applications and Theory of Petri Nets, Paris (June 1990).Google Scholar
- Esparza, J.: Structure Theory of Free Choice nets. Ph.D. Thesis, University of Zaragoza (June 1990).Google Scholar
- Genrich, H.; Thiagarajan, P.S.: A theory of bipolar synchronisation schemes, Theoretical Computer Science, 30, pp. 241–318 (1984).Google Scholar
- Jones, N.; Landweber, L.; Lien, Y.: Complexity of some Problems in Petri Nets, Theoretical Computer Science Vol. 4, pp. 277–299 (1977).Google Scholar
- Hack, M.H.T.: Analysis of Production Schemata by Petri Nets. TR-94 MIT, Boston (1972, corrected June 1974).Google Scholar
- Reisig, W.: Petri Nets. An Introduction. EATCS monographs on Theoretical Computer Science, Vol. 4 (1985).Google Scholar
- Silva, M.: Private communication (1989).Google Scholar