검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Qualitative Model-Based Verification of Operating Procedures by High-Level Petri Nets Gerzson M, Csaki Z, Hangos KM Computers & Chemical Engineering, 18(S), 565, 1994 |
| No. | Article |
|---|---|
| 1 |
Qualitative Model-Based Verification of Operating Procedures by High-Level Petri Nets Gerzson M, Csaki Z, Hangos KM Computers & Chemical Engineering, 18(S), 565, 1994 |