共 50 条
- [11] New formal descriptions for timed coloured Petri nets using formal series 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7373 - 7379
- [12] Analysis of fairness in payment protocols based on hierarchical timed coloured petri nets Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology, 2009, 31 (06): : 1445 - 1450
- [16] Timed coloured petri nets for modelling and managing processes and projects 11TH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING, 2018, 67 : 58 - 62
- [17] Modelling of AS/RS Using Hierarchical and Timed Coloured Petri nets 2014 23RD INTERNATIONAL CONFERENCE ON ROBOTICS IN ALPE-ADRIA-DANUBE REGION (RAAD), 2014,
- [18] A new modeling methodology of urban traffic lights based on Timed Coloured Petri nets 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 85 - +