共 50 条
- [41] A Petri net model for temporal knowledge representation and reasoning - Comment [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (01): : 165 - 166
- [42] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
- [43] A coloured Petri net approach to protocol verification [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
- [44] Parameterised Coloured Petri Net Channel Models [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
- [45] A coloured petri net based solution for the generalized railway crossing problem [J]. MIXDES 2007: Proceedings of the 14th International Conference on Mixed Design of Integrated Circuits and Systems:, 2007, : 657 - 660
- [46] 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
- [47] A Coloured Petri Net based strategy for multi-agent scheduling [J]. RRS 2005: Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems, Proceedings, 2005, : 3 - 10
- [49] EFFICIENT EXPLORATION OF COLOURED PETRI NET BASED SCHEDULING PROBLEM SOLUTIONS [J]. 23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 681 - 689