COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)
In: The challenge of networking. CON'93. Proceedings of the 8th Austrian-Hungarian conference in informatics. Szombathely, 1993. (Schriftenreihe Österreichische Computer Gesellschaft 70.).