共 50 条
- [2] Modelling and simulating dynamic vehicle with component hybrid dynamic nets [J]. 2006 IEEE VEHICLE POWER AND PROPULSION CONFERENCE, 2006, : 276 - +
- [4] Modelling dynamic opacity using petri nets with silent actions [J]. FORMAL ASPECTS IN SECURITY AND TRUST, 2005, 173 : 159 - 172
- [5] Modelling of Traffic Safety Control Systems Using Timed Petri nets [J]. 2014 IEEE 11TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2014, : 138 - 143
- [8] Modelling and evaluating dynamic switching networks using Stochastic Petri Nets [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4995 - 5000