共 50 条
- [1] A PROTOCOL SPECIFICATION LANGUAGE WITH A HIGH-LEVEL PETRI-NET SEMANTICS [J]. DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 225 - 241
- [2] Knowledge verification with an enhanced high-level Petri-net model [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1997, 12 (05): : 73 - 80
- [5] HIGH-LEVEL PETRI-NET MODEL FOR A RESOURCE-SHARING PROBLEM [J]. INFORMATION SCIENCES, 1990, 51 (02) : 213 - 220
- [6] ON THE ANALYSIS OF STOCHASTIC HIGH-LEVEL PETRI NET MODELS [J]. MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 747 - 767
- [7] HIGH-LEVEL PETRI-NET MODELING AND ANALYSIS OF VME-BASED MULTIPROCESSORS [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 36 (04): : 195 - 204
- [8] Modeling and Performance Evaluation of Cloud on-Ramp by utilizing a Stochastic Petri-net [J]. PROCEEDINGS 2016 5TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS IIAI-AAI 2016, 2016, : 995 - 1000
- [9] Petri net based approach for FMS performance evaluation [J]. IECON Proceedings (Industrial Electronics Conference), 1997, 3 : 1204 - 1209
- [10] A Petri Net based approach for FMS performance evaluation [J]. IECON '97 - PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS. 1-4, 1997, : 1204 - 1209