Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices

DOI10.1002/ASJC.1915MaRDI QIDQ6563357FDO

Authors Xiaoguang Han, Zengqiang Chen, Kuize Zhang, Zhongxin Liu, Qing Zhang

Publication date 27 June 2024

Published in Asian Journal of Control (Search for Journal in Brave)

zbMATH Keywords

controllabilityreachabilitysemi-tensor product (STP) of matricesPetri nets (PNs)marking evolution equation (MEE)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Recommendations

• scientific article; zbMATH DE number 6719540
• STP-based judgment method of reversibility and liveness of bounded Petri nets
• Observability analysis of bounded Petri net systems via a matrix approach
• Structural controllability in timed continuous Petri nets
• Structuring acyclic Petri nets for reachability analysis and control

Cites work

• scientific article; zbMATH DE number 1528193 (Why is no real title available?)
• A semi-tensor product approach to pseudo-Boolean functions with application to Boolean control networks
• An introduction to semi-tensor product of matrices and its applications
• Controllability and observability of Boolean control networks
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• Input-state incidence matrix of Boolean control networks and its applications
• Introduction to Discrete Event Systems
• Mathematical programming approach to the Petri nets reachability problem
• Matrix Approach to Model Matching of Asynchronous Sequential Machines
• Parallel program schemata
• STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
• Semi-tensor product of matrices and its application to Morgen's problem
• State equation, controllability, and maximal matchings of petri nets

Cited in

(4)

• Opacity of discrete-event systems under nondeterministic observation mechanism
• Regulation of game result for \(n\)-person random evolutionary Boolean games
• A new look at the critical observability of finite state machines from an algebraic viewpoint
• Security and privacy with opacity-based state observation for finite state machine

This page was built for publication: Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563357)