共 50 条
- [1] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
- [2] Applicatiom of coloured Petri net and genetic algoirithm to cluster tool scheduling [J]. ICMIT 2005: CONTROL SYSTEMS AND ROBOTICS, PTS 1 AND 2, 2005, 6042
- [3] A coloured Petri net trust model [J]. 14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 415 - 419
- [5] Analysing a missile simulator with coloured Petri nets [J]. International Journal on Software Tools for Technology Transfer, 1998, 2 (02): : 144 - 159
- [6] A coloured Petri net approach to protocol verification [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
- [7] Parameterised Coloured Petri Net Channel Models [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
- [8] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83