Reduction and synthesis of live and bounded free-choice Petri nets
収録刊行物
-
- Information and Computation
-
Information and Computation 114 (1), 50-87, 1994
Information and Computation 114 (1), 50-87, 1994