共 50 条
- [1] Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I, 2008, 5100 : 19 - 34
- [2] Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets 2009 WORLD CONFERENCE ON SERVICES PART, 2009, : 55 - 62
- [3] CSP generation from Coloured Petri-Nets models RECENT ADVANCES IN ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2004, 113 : 417 - 424
- [5] Server Consolidation Using Coloured Petri Nets and CPN Tools 2015 6TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2015, : 32 - 37
- [7] Modelling and Control of AS/RS Using Coloured Petri Nets 2016 CYBERNETICS & INFORMATICS (K&I), 2016,
- [8] Modelling and evaluation of QCN using coloured petri nets Peer-to-Peer Networking and Applications, 2018, 11 : 486 - 503
- [9] Modelling of CVBF Algorithm using Coloured Petri Nets 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2014, : 26 - 31
- [10] A modelling approach with coloured Petri nets RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 73 - +