A study of deadlocks and traps in petri nets
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 charact...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://cardinalscholar.bsu.edu/handle/handle/183543 http://liblink.bsu.edu/uhtbin/catkey/544009 |