共 50 条
- [31] Model fragmentation for distributed workflow execution: A Petri net approach ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 207 - 214
- [33] Distributed colored petri net model-checking with CYCLADES FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 347 - +
- [34] Distributed fault diagnosis using petri net reduced models INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 702 - 707
- [35] Compositional Petri net approach to the development of concurrent and distributed systems Programmirovanie, 2001, 27 (06): : 30 - 44
- [36] Petri-net-based evaluation of the performance of distributed systems 1600, Gordon & Breach Science Publ Inc, Newark, NJ, United States (12):
- [37] Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems Programming and Computer Software, 2001, 27 : 309 - 319
- [39] Model of distributed intrusion tolerant system based on Petri net Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2009, 31 (01): : 208 - 212