共 50 条
- [42] ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 84 - 99
- [43] Reachability analysis of steady state for a class of interval speed continuous Petri nets Xitong Fangzhen Xuebao / Journal of System Simulation, 2005, 17 (SUPPL.): : 44 - 47
- [44] ON/OFF control for reaching a steady state attractive region in batches Petri nets IFAC PAPERSONLINE, 2023, 56 (02): : 9618 - 9623
- [45] Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 371 - 390
- [46] Qualitative Diagnosability of labeled Petri Nets revisited PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1248 - 1253
- [48] Towards a Consistent Semantics for Unsafe Time Petri Nets ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 42 - 49
- [49] Comparing Semantics Under Strong Timing of Petri Nets PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 376 - 384
- [50] MODELING THE SEMANTICS OF SMALLTALK-80 WITH PETRI NETS SIGPLAN NOTICES, 1989, 24 (04): : 156 - 158