共 50 条
- [11] HIGH-LEVEL PETRI-NET MODELING AND ANALYSIS OF VME-BASED MULTIPROCESSORS MICROPROCESSING AND MICROPROGRAMMING, 1993, 36 (04): : 195 - 204
- [12] Weak adhesive high-level replacement categories and systems: A unifying framework for graph and Petri net transformations ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 235 - 251
- [13] SMART MACHINING SIMULATION BASED ON HIGH-LEVEL DATA PROCEEDINGS OF THE ASME INTERNATIONAL MANUFACTURING SCIENCE AND ENGINEERING CONFERENCE 2010, VOL 2, 2011, : 533 - 542
- [14] Implementation of a non-autonomous high-level Petri net model for reactive real-time systems ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 397 - 402
- [15] Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach BUSINESS PROCESS MANAGEMENT, BPM 2015, 2015, 9253 : 55 - 71
- [16] High-level Petri net based modeling approach for risk management in supply chain networks EUROPEAN SIMULATION AND MODELLING CONFERENCE 2007, 2007, : 178 - +
- [19] A High-level Petri Net-based Formal Model of Distributed Self-adaptive Systems ECSA 2018: PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE: COMPANION PROCEEDINGS, 2018,