共 50 条
- [31] Petri-net-based business process modeling for virtual enterprises [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3183 - 3188
- [32] The virtual instrument test system based on labview [J]. ICEMI'2003: PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1-3, 2003, : 1630 - 1633
- [33] Test Case Generation Method Based on Colored Petri Net for Train Control System [J]. 2018 3RD INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS), 2018, : 1 - 5
- [34] Method of resource optimization for test system based on Timed Coloured Petri-Net [J]. Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2010, 30 (09): : 1672 - 1678
- [35] Test system deadlock-prevention method based on Petri net and genetic algorithm [J]. Yi Qi Yi Biao Xue Bao, 2008, 1 (32-37):
- [36] Automatic measurement system of harmonic based on virtual instrument [J]. Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2007, 28 (SUPP. 4): : 215 - 216
- [37] Flowmeter Automatic Verification System Based on Virtual Instrument [J]. 2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 4256 - 4260
- [39] Hierarchical modeling analysis method based on UML and Petri net [J]. Xitong Fangzhen Xuebao / Journal of System Simulation, 2006, 18 (02): : 290 - 293
- [40] The test of train control system based on Colored Petri Net [J]. 2011 9TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2011), 2011, : 315 - 320