共 50 条
- [31] The Planning of Athletic Training Based on Probabilistic Petri Nets Models 2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS, THETA 18TH EDITION, 2012, : 508 - 513
- [32] Formal models of UML statechart diagrams based on Petri nets Beijing Hangkong Hangtian Daxue Xuebao, 2007, 2 (248-252):
- [33] Aligning event logs and process models based on Petri nets Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2019, 25 (04): : 809 - 829
- [34] Component-based Translation of BPMN Models to Petri Nets ELECTRONIC COMMERCE AND INFORMATION ENGINEERING IN CHINA: PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON ELECTRONIC BUSINESS AND INFORMATION SYSTEM, 2010, : 74 - 78
- [36] Reduction of Stochastic Petri Nets for reliability analysis ICEMI 2007: PROCEEDINGS OF 2007 8TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL I, 2007, : 222 - 226
- [37] Reliability modeling of an industrial system with Petri nets RISK, RELIABILITY AND SOCIETAL SAFETY, VOLS 1-3: VOL 1: SPECIALISATION TOPICS; VOL 2: THEMATIC TOPICS; VOL 3: APPLICATIONS TOPICS, 2007, : 1087 - 1094
- [39] Petri nets-based models for basic authentication procedure COMMUNICATION AND MANAGEMENT IN TECHNOLOGICAL INNOVATION AND ACADEMIC GLOBALIZATION, 2010, : 57 - 61
- [40] Verifying Dynamic Semantic Composability of BOM-based Composed Models using Colored Petri Nets 2012 ACM/IEEE/SCS 26TH WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION (PADS), 2012, : 248 - 255