共 3 条
- [1] Junaid K, 2006, INTELLIGENT TRANSPOR, P1370, DOI [DOI 10.1109/ITSC.2006.1707414, 10.1109/ITSC.2006.1707414]
- [2] Verification of distributed systems modelled by high-level Petri nets [J]. PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
- [3] MEYER M, 1999, MODELING SIMULATION, V1709