Items where Author is "Gerzson, M."
Up a level |
Number of items: 11.
1993
Date | Author/Title | Document Type | |
---|---|---|---|
1993 | Gerzson, M. and Csáki, ZS and Hangos, Katalin Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3) | Article |
1995
Date | Author/Title | Document Type | |
---|---|---|---|
1995 | Gerzson, M. and Hangos, Katalin Analysis of controlled technological systems using high level Petri nets | Article | |
1995 | Gerzson, M. and Hangos, Katalin Operátori eljárásokkal irányított rendszerek leírása a rendszer kvalitatív modellje alapján magas szintű Petri hálók segítségével | Article |
1996
Date | Author/Title | Document Type | |
---|---|---|---|
1996 | Szűcs, A. and Gerzson, M. and Hangos, Katalin An intelligent diagnostic system based on Petri nets | Article |
1997
Date | Author/Title | Document Type | |
---|---|---|---|
1997 | Kránicz, B. and Gerzson, M. and Hangos, Katalin Invariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.) | Book | |
1997 | Gerzson, M. and Leitold, A. and Hangos, Katalin Irányított technológiai rendszerek vizsgálata magas szintű Petri-hálók segítségével. I. Modellezés | Article | |
1997 | Gerzson, M. and Leitold, A. and Hangos, Katalin Irányított technológiai rendszerek vizsgálata magas szintű Petri-hálók segítségével. II. Analízis | Article | |
1997 | Szücs, A. and Gerzson, M. and Leitold, A. and Hangos, Katalin An intelligent diagnostic systembased on Petri nets | Conference or Workshop Item |
1998
Date | Author/Title | Document Type | |
---|---|---|---|
1998 | Kránicz, B. and Gerzson, M. and Hangos, Katalin Invariant inheritance in structured operating procedures described by petri nets | Article |
2001
Date | Author/Title | Document Type | |
---|---|---|---|
2001 | Hangos, Katalin and Lakner, R. and Gerzson, M. Intelligent control systems. An introduction with examples. (Applied optimization 60.) | Book |
2011
Date | Author/Title | Document Type | |
---|---|---|---|
2011-05-24 | Gerzson, M. and Leitold, A. and Hangos, Katalin Model based process diagnosis using graph methods | Conference or Workshop Item |