Controllability of control and mixture weakly dependent siphons in S3PR

DOI10.1080/00207721.2012.659291zbMath1277.93017OpenAlexW2075043152MaRDI QIDQ2872614

Daniel Yuh Chao, Liang Hong

Publication date: 15 January 2014

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207721.2012.659291

zbMATH Keywords

Petri netssiphonsflexible manufacturing systemdeadlock prevention

Mathematics Subject Classification ID

Mixed integer programming (90C11) Controllability (93B05) Search theory (90B40) Discrete event control/observation systems (93C65)

Related Items (3)

Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait ⋮ Necessary and sufficient liveness condition of GS³PR Petri nets ⋮ On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S³PR of flexible manufacturing systems

Cites Work

• Modelling the protocol stack in NCS with deterministic and stochastic petri net
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing
• Feedback control designs for manufacturing systems modelled by continuous Petri nets
• Refining and verifying regular Petri nets

This page was built for publication: Controllability of control and mixture weakly dependent siphons in S³PR