共 50 条
- [1] Formal verification method of simulation scenario based on high-level Petri nets Kongzhi yu Juece Control Decis, 2006, 11 (1208-1213):
- [4] Abstract Petri nets as a uniform approach to high-level petri nets RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
- [5] Testing BPEL-based web service composition using high-level Petri nets 10TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2006, : 441 - 444
- [6] Bottleneck Detection in Job Shop Production by High-Level Petri Nets PROCEEDINGS OF 2019 15TH IRAN INTERNATIONAL INDUSTRIAL ENGINEERING CONFERENCE (IIIEC), 2019, : 178 - 183
- [7] Branching processes of high-level Petri nets TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 458 - 472