共 50 条
- [41] Analysis and Modeling of a Safety Critical System using Petri-Net model 2016 1ST INDIA INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING (IICIP), 2016,
- [42] A Petri-Net Based Approach for Software Evolution 2016 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2016, : 264 - 269
- [43] REPRESENTATION OF NONSTRUCTURED CONCURRENCY BY PETRI-NET LANGUAGES IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (03): : 872 - 875
- [46] Consistency of user interface based on Petri-net ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 846 - 852
- [50] Method of resource optimization for test system based on Timed Coloured Petri-Net Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2010, 30 (09): : 1672 - 1678