Free choice Petri nets
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
On Liveness and Controlled Siphons in Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
| Hi-index | 0.00 |
This paper presents new results concernedwith liveness, liveness of a subset of transitions and deadlock in Petri nets. Liveness is seen as a particular case of what we call T-liveness: all transitions in the set T are live. The first results characterize the relation between supervisors enforcing liveness and T-liveness with supervisors preventing deadlock. Then we introduce a class of Petri net subnets allowing us to extendt wo well known results. Specifically we generalize the result relating deadlock to siphons and the extension to asymmetric choice Petri nets of the Commoner's Theorem. We conclude by considering how the theoretical results of this paper can be used for deadlock prevention, least restrictive deadlock prevention and least restrictive T-liveness enforcement.