An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets

Siphons, as a structural object of Petri nets (PNs), are closely related to deadlock-freedom in PNs. Efficient siphon computation is of great importance in developing siphon-based deadlock control strategies with good performance. This paper is concerned with the enumeration of minimal siphons in a...

Full description

Bibliographic Details
Main Authors: Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu, Yongshu Jia
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Petri nets
S⁴PR nets
minimal siphon enumeration
problem partitioning
Online Access:https://ieeexplore.ieee.org/document/8070302/

Internet

https://ieeexplore.ieee.org/document/8070302/

Similar Items