Petri nets are used as models in the study of networks involving information flows. Petri nets have also turned out to be useful in the study of many asynchronous concurrent systems.In this thesis, the notions of deadlocks, traps, and liveness are considered from a graph theoretic viewpointA characterization of minimal deadlocks and traps in Petri nets is obtained. For the complete Petri nets, alternative characterizations of deadlocks and traps are obtained. Necessary and sufficient conditions are obtained for complete Petri nets to be deadlock free. Similar conditions for trap free complete Petri nets are also determined. / Department of Computer Science
| Identifer | oai:union.ndltd.org:BSU/oai:cardinalscholar.bsu.edu:handle/183543 |
| Date | January 1988 |
| Creators | Bagga, Kunwarjit Singh |
| Contributors | Ball State University. Dept. of Computer Science., Owens, Frank W. |
| Source Sets | Ball State University |
| Detected Language | English |
| Format | iv, 34 leaves : ill. ; 28 cm. |
| Source | Virtual Press |
Page generated in 0.0028 seconds