Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
From MaRDI portal
Publication:6563357
DOI10.1002/ASJC.1915MaRDI QIDQ6563357FDOQ6563357
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)
controllabilityreachabilitysemi-tensor product (STP) of matricesPetri nets (PNs)marking evolution equation (MEE)
Cites Work
- Title not available (Why is that?)
- Parallel program schemata
- An introduction to semi-tensor product of matrices and its applications
- Introduction to Discrete Event Systems
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- Controllability and observability of Boolean control networks
- A Semi-Tensor Product Approach to Pseudo-Boolean Functions with Application to Boolean Control Networks
- Input-state incidence matrix of Boolean control networks and its applications
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- State equation, controllability, and maximal matchings of petri nets
- Mathematical programming approach to the Petri nets reachability problem
- Semi-tensor product of matrices and its application to Morgen's problem
- Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
Cited In (4)
- 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
- Opacity of discrete-event systems under nondeterministic observation mechanism
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)
