共 50 条
- [31] PETRI-NET-BASED ALGORITHMS FOR PARALLEL-CONTROLLER SYNTHESIS IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (06): : 405 - 412
- [32] SYNTHESIS OF A PETRI NET BASED CONTROL FLOW MODEL 1989 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 1989, : 313 - 318
- [33] AN EMPIRICAL-STUDY ON THE COMPLEXITY METRICS OF PETRI NETS MICROELECTRONICS AND RELIABILITY, 1992, 32 (03): : 323 - 329
- [34] AN EMPIRICAL-STUDY ON COMPLEXITY METRICS OF PETRI NETS MICROELECTRONICS AND RELIABILITY, 1992, 32 (09): : 1215 - 1221
- [35] A colored Petri net model for DisCSP algorithms CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (18):
- [36] Digital twin workshop system of circuit breaker based on logic Petri net Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (02): : 455 - 465
- [38] Investigate the complexity of the control system of the Norwegian traffic light using Petri net model 2ND INTERNATIONAL CONFERENCE OF COMBINATORICS, GRAPH THEORY, AND NETWORK TOPOLOGY, 2019,
- [39] Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2004, : 16 - 25
- [40] C code generation from Petri net based logic controller specification PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017, 2017, 10445