共 50 条
- [31] Utilizing Timed Petri Nets to Guide Data-Driven Fault Diagnosis of PLC-Timed Event Systems [J]. 2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 441 - 446
- [32] Verification of biological models with Timed Hybrid Petri Nets [J]. COMPUTATIONAL MODELS FOR LIFE SCIENCES (CMLS 07), 2007, 952 : 287 - +
- [33] Transformation of Bounded Timed Petri Nets into Event-B [J]. 2019 20TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2019, : 127 - 132
- [35] Less Attention Event-driven Model Predictive Control of Time-delay System [J]. 2015 10TH ASIAN CONTROL CONFERENCE (ASCC), 2015,
- [36] From TiMo to Event-B: Event-Driven Timed Mobility [J]. 2014 19TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2014), 2014, : 1 - 10
- [37] Optimal control of continuous Petri nets via model predictive control [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 235 - +
- [39] A Control Oriented Model of Generalized Warehouses based on Colored Timed Petri Nets [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 48 - 53
- [40] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets [J]. International Journal on Software Tools for Technology Transfer, 2016, 18 : 285 - 304