Redundancy detection and structure simplification for a class of liveness-enforcing Petri net supervisors
XU Shan-shan
DONG Li-da
ZHU Dan
ZHU Cheng-cheng
Keywords：Petri netflexible manufacturing system (FMS)siphondeadlock preventioninteger programming
Publication Date：2013-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：10( 673-682 )