共 50 条
- [11] Modelling and analysing the Contract Net Protocol - extension using Coloured Petri Nets FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 169 - 184
- [13] Simulation of Aircraft Two Level Maintenance Concept Based on Petri Net 2012 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (ICQR2MSE), 2012, : 517 - 519
- [15] The Aircraft Surface Movement Behaviors Modelling and Analysis Using Petri Net INTELLIGENT SYSTEM AND APPLIED MATERIAL, PTS 1 AND 2, 2012, 466-467 : 946 - 950
- [18] Modelling and Analysis of the Monotonic Read Consistent Distributed System using Coloured Petri Net 2016 EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE TECHNOLOGY (IKT), 2016, : 85 - 90
- [20] A modelling approach with coloured Petri nets RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 73 - +