The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets

DOI10.1080/00207179.2015.1063164zbMath1332.93256OpenAlexW2277790092MaRDI QIDQ2792707

Daniel Yuh Chao, Tsung Hsien Yu

Publication date: 14 March 2016

Published in: International Journal of Control (Search for Journal in Brave)

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

zbMATH Keywords

flexible manufacturing systemsPetri netscontrol systemsdiscrete event systems

Mathematics Subject Classification ID

Production models (90B30) Discrete event control/observation systems (93C65) Large-scale systems (93A15)

Related Items (2)

Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets ⋮ Resource failure and buffer space allocation control for automated manufacturing systems

Uses Software

• INA

Cites Work

• Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
• Enumeration of reachable (forbidden, live and deadlock) states ofkth order system of Petri nets
• Recursive solution of number of reachable states of a simple subclass of FMS
• Reachability analysis in T-invariant-less petri nets
• Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
• On the reachability and reversibility problems in a class of Petri nets

This page was built for publication: The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets