共 50 条
- [2] Timed coloured Petri net model for misuse intrusion detection [J]. 2006 INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS, VOLS 1 AND 2, 2006, : 550 - +
- [5] Coloured Petri net model of application specific logic controller programs [J]. ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : SS158 - SS163
- [6] A process-oriented model for authentication on the basis of a coloured Petri net [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2003, 2678 : 232 - 245
- [7] A coloured Petri net approach to protocol verification [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
- [8] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
- [9] Parameterised Coloured Petri Net Channel Models [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
- [10] 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