共 50 条
- [12] Model checking multi-agent systems with logic based Petri nets Annals of Mathematics and Artificial Intelligence, 2007, 51 : 81 - 121
- [13] Synthesis of coloured petri nets for FMS task specification INTERNATIONAL JOURNAL OF ROBOTICS & AUTOMATION, 1996, 11 (03): : 111 - 117
- [14] Agent-based distributed execution of Coloured Petri Nets MODELLING AND SIMULATION 2001, 2001, : 547 - 553
- [16] Analysis of multi-agent activity using petri nets PATTERN RECOGNITION, 2010, 43 (04) : 1491 - 1501
- [17] Fault tolerant analysis of multi-agent manufacturing systems based on petri nets PROCEEDINGS OF THE IEEE-ISIE 2004, VOLS 1 AND 2, 2004, : 763 - 768
- [18] A multi-agent based environment to aid in the design of Petri nets based software systems SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 253 - 260