Funder
National Natural Science Foundation of China
China Postdoctoral Science Foundation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
General Engineering,General Materials Science,General Computer Science
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets;2023 22nd International Symposium INFOTEH-JAHORINA (INFOTEH);2023-03-15
2. Design of Liveness-Enforcing Supervisors for FMSs Modeled by S4PR with Controllable Places and Transitions;2023 International Conference on Computer Science, Information Technology and Engineering (ICCoSITE);2023-02-16
3. Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S4PR-Nets;2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC);2021-01-27