| 國立政治大學 |
2004 |
Extended Synchronized choice Nets
|
趙玉;Jose A. Nicdao |
| 國立政治大學 |
2001 |
Liveness for Synchronized Choice Petri Nets
|
Chao, Daniel Yuh ;Jose A. Nicdao; 趙玉 |
| 國立政治大學 |
2000-12 |
Extened Synchronized Choice Nets
|
Jose A. Nicdao;趙玉 |
| 國立政治大學 |
2000-04 |
DCOM for Workflow Analysis and Simulation Based On Petr Nets
|
趙玉;Jose A. Nicdao |
| 國立政治大學 |
2000 |
An Incremental Approach to Searching Minimal Siphons for Deadlock of Flexible Manufacturing Systems
|
Jose A. Nicdao;趙玉 |
| 國立政治大學 |
1999-10 |
The Algorithm for checking Liveness in synchronized Choice Net Detection
|
趙玉;Jose A. Nicdao |
| 國立政治大學 |
1999-08 |
Theory of Second Order Structures for Synchronized Choice Ordinary Petri Nets
|
趙玉;Jose A. Nicdao;Jih-Hsin Tang;Yi-Kung Chen |
| 國立政治大學 |
1999 |
Second Order Structures for Synchronized Choice Ordinary Petri Nets
|
趙玉;Jose A. Nicdao |
