1. An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-07
2. Design of Controllers Considering the Number of Control Places for Forbidden State Problem of Petri Nets;Transactions of the Society of Instrument and Control Engineers;2023
3. Modeling, Analysis, and Control with Petri Nets;Encyclopedia of Systems and Control;2021
4. References;Supervisory Control and Scheduling of Resource Allocation Systems;2020-06-29
5. Modeling, Analysis, and Control with Petri Nets;Encyclopedia of Systems and Control;2019-12-28