共 50 条
- [32] Stability and stabilization techniques for discrete event systems modeled by coloured Petri nets PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 924 - 928
- [33] A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (07): : 1087 - 1100
- [34] Modeling, Analysis, Simulation, and Control of Laboratory Automation Systems Using Petri Nets—Analysis and Control JALA J. Assoc. Lab. Autom., 2008, 2 (103-115): : 103 - 115
- [35] Modeling and Stability Analysis of Fuel Cell-Based Marine Hybrid Power Systems IEEE TRANSACTIONS ON TRANSPORTATION ELECTRIFICATION, 2024, 10 (03): : 5075 - 5091
- [36] Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems APPLIED SCIENCES-BASEL, 2018, 8 (01):
- [37] Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 737 - 756
- [39] Modeling and optimization of hierarchical routings based on Petri nets 2007 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND MANUFACTURING, 2007, : 88 - 93
- [40] Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems APPLIED SCIENCES-BASEL, 2022, 12 (03):