共 50 条
- [41] Verification technique for time Petri nets 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4278 - 4283
- [42] Relaxed Unfolding for Time Petri Nets 2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 833 - 839
- [43] Time-point-interval Prioritized Time Petri Nets Modelling Real-time Systems and TCTL Checking Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2947 - 2963
- [44] A compositional model of time Petri nets APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 303 - 322
- [47] Simulation of Colored Time Petri Nets 2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2013, : 637 - 642
- [48] Development of real-time system specifications through the refinement of duration interval Petri nets SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3098 - 3103
- [50] Time Petri nets analysis with TINA QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 123 - +