共 50 条
- [1] Petri net based Verification of a Cooperative Work flow Model NDT: 2009 FIRST INTERNATIONAL CONFERENCE ON NETWORKED DIGITAL TECHNOLOGIES, 2009, : 82 - 87
- [2] A Coloured Petri Net formalisation for a UML-based notation applied to cooperative system modelling INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION, 2002, 2545 : 16 - 28
- [3] Cooperative CAD system based on CSCW Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2001, 13 (03): : 278 - 283
- [4] A Petri net-based workflow system DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
- [8] Development of petri-net communication model for cooperative mobile robots system ECT - 2008: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND CONTROL TECHNOLOGIES, 2008, : 29 - 34
- [9] Process net system of Petri net Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1308 - 1315