共 50 条
- [22] Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2021), 2021, 12734 : 208 - 229
- [24] THE OR OF FREE-CHOICE PERMISSION TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1994, 13 (01): : 3 - 10
- [26] Discovering Sound Free-Choice Workflow Nets with Non-block Structures ENTERPRISE DESIGN, OPERATIONS, AND COMPUTING, EDOC 2022, 2022, 13585 : 200 - 216
- [28] Refactoring Problem of Acyclic Extended Free-Choice Workflow Nets to Acyclic Well-Structured Workflow Nets IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (05): : 1375 - 1379