Items where Author is "Gerzson, M."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | No Grouping
Number of items: 11.

1993

DateAuthor/TitleDocument Type
1993Gerzson, 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

DateAuthor/TitleDocument Type
1995Gerzson, M. and Hangos, Katalin
Analysis of controlled technological systems using high level Petri nets
Article
1995Gerzson, 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

DateAuthor/TitleDocument Type
1996Szűcs, A. and Gerzson, M. and Hangos, Katalin
An intelligent diagnostic system based on Petri nets
Article

1997

DateAuthor/TitleDocument Type
1997Krá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
1997Gerzson, 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
1997Gerzson, 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
1997Szücs, A. and Gerzson, M. and Leitold, A. and Hangos, Katalin
An intelligent diagnostic systembased on Petri nets
Conference or Workshop Item

1998

DateAuthor/TitleDocument Type
1998Kránicz, B. and Gerzson, M. and Hangos, Katalin
Invariant inheritance in structured operating procedures described by petri nets
Article

2001

DateAuthor/TitleDocument Type
2001Hangos, Katalin and Lakner, R. and Gerzson, M.
Intelligent control systems. An introduction with examples. (Applied optimization 60.)
Book

2011

DateAuthor/TitleDocument Type
2011-05-24Gerzson, M. and Leitold, A. and Hangos, Katalin
Model based process diagnosis using graph methods
Conference or Workshop Item
This list was generated on Fri Mar 29 03:10:48 2024 CET.