| |
| 1997 | ||
|---|---|---|
| 3 | Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang: Deciding a Class of Path Formulas for Conflict-Free Petri Nets. Theory Comput. Syst. 30(5): 475-494 (1997) | |
| 1994 | ||
| 2 | Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang: Some Complexity Results for Rings of Petri Nets. Int. J. Found. Comput. Sci. 5(3/4): 282-292 (1994) | |
| 1993 | ||
| 1 | Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang: A Unified Approach for Reasoning about Conflict-Free Petri Nets. Application and Theory of Petri Nets 1993: 513-531 | |
| 1 | Bow-Yaw Wang | [1] [2] [3] |
| 2 | Hsu-Chun Yen | [1] [2] [3] |