검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
Invariant inheritance in structured operating procedures described by Petri nets Kranicz B, Gerzson M, Hangos KM Computers & Chemical Engineering, 22(S), 969, 1998 |
| 2 |
An intelligent diagnostic system based on Petri nets Szucs A, Gerzson M, Hangos KM Computers & Chemical Engineering, 22(9), 1335, 1998 |
| 3 |
An Intelligent Diagnostic System Based on Petri Nets Szucs A, Gerzson M, Hangos KM Computers & Chemical Engineering, 20(S), 635, 1996 |
| 4 |
Analysis of Controlled Technological Systems Using Nigh Level Petri Nets Gerzson M, Hangos KM Computers & Chemical Engineering, 19(S), 531, 1995 |
| 5 |
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 |