共 50 条
- [1] PROTOCOL MODELING AND VALIDATION USING PETRI NETS [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 51 - 71
- [2] Petri nets synthesis for modeling FMS: A review [J]. CAD/CAM ROBOTICS AND FACTORIES OF THE FUTURE, 1996, : 781 - 786
- [4] COMMUNICATION PROTOCOL VALIDATION BY PETRI NETS [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 82 - 91
- [5] A modular modeling approach for CNC machines control using Petri Nets [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3147 - 3152
- [7] Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets [J]. IEEE ACCESS, 2018, 6 : 27356 - 27372
- [8] MODELING HUMAN COMPUTER INTERACTION BY USING PETRI NETS METHOD [J]. PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 2257 - 2260
- [9] A deadlock prevention policy for FMS using Petri nets [J]. 2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1187 - 1192