Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets

DOI10.1080/00207179.2021.1921278zbMath1500.93006OpenAlexW3160292901MaRDI QIDQ5043516

Tsung Hsien Yu

Publication date: 6 October 2022

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

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

zbMATH Keywords

flexible manufacturing systemsPetri netscontrol systemsdiscrete event systems

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Attainable sets, reachability (93B03)

Cites Work

• Unnamed Item
• Unnamed Item
• The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
• Enumeration of reachable (forbidden, live and deadlock) states ofkth order system of Petri nets
• Proof by model: a new knowledge-based reachability analysis methodology for Petri net
• 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: Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets