共 50 条
- [2] Event-driven control for reaching a steady state in controlled Generalized Batches Petri Nets [J]. IFAC PAPERSONLINE, 2020, 53 (04): : 180 - 186
- [3] Colored Petri nets to verify extended event-driven process chains [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, 2005, 3760 : 183 - 201
- [4] A parametric event-driven flowed token petri nets for generic agile systems modeling and control [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 596 - +
- [5] Verification of Event-driven Process Chain with Timed Automata and Time Petri Nets [J]. 2017 9TH IEEE-GCC CONFERENCE AND EXHIBITION (GCCCE), 2018,
- [6] Event-driven Simulation of Digital Circuits using Modified Petri Nets Algorithm [J]. PROCEEDINGS OF THE 2017 7TH INTERNATIONAL CONFERENCE INTERNET TECHNOLOGIES AND APPLICATIONS (ITA), 2017, : 15 - 17
- [7] Event-driven optimal control of integral continuous-time hybrid automata [J]. 2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 1409 - 1414
- [9] Optimal control of continuous Petri nets via model predictive control [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 235 - +