Citation: B. Kranicz et al., INVARIANT INHERITANCE IN STRUCTURED OPERATING PROCEDURES DESCRIBED BYPETRI NETS, Computers & chemical engineering, 22, 1998, pp. 969-972
Citation: M. Gerzson et al., ANALYSIS OR CONTROLLED PROCESS SYSTEMS BY HIGH-LEVEL PETRI NETS .1. MODELING, Magyar kemiai folyoirat, 103(5), 1997, pp. 197-208
Citation: M. Gerzson et al., ANALYSIS OF CONTROLLED PROCESS SYSTEMS BY HIGH-LEVEL PETRI NETS .2. ANALYSIS, Magyar kemiai folyoirat, 103(5), 1997, pp. 209-223
Citation: Km. Hangos et It. Cameron, THE FORMAL REPRESENTATION OF PROCESS SYSTEM MODELING ASSUMPTIONS AND THEIR IMPLICATIONS, Computers & chemical engineering, 21, 1997, pp. 823-828
Citation: Ei. Varga et al., CONTROLLABILITY AND OBSERVABILITY OF HEAT-EXCHANGER NETWORKS IN THE TIME-VARYING PARAMETER CASE, Control engineering practice, 3(10), 1995, pp. 1409-1419
Citation: Sb. Jorgensen et Km. Hangos, GREY BOX MODELING FOR CONTROL - QUALITATIVE MODELS AS A UNIFYING FRAMEWORK, International journal of adaptive control and signal processing, 9(6), 1995, pp. 547-562
Citation: Km. Hangos et al., INTEGRATED SYNTHESIS OF A PROCESS AND ITS FAULT-TOLERANT CONTROL-SYSTEM, Computers & chemical engineering, 19, 1995, pp. 465-470
Citation: M. Gerzson et Km. Hangos, ANALYSIS OF CONTROLLED TECHNOLOGICAL SYSTEMS USING NIGH LEVEL PETRI NETS, Computers & chemical engineering, 19, 1995, pp. 531-536
Citation: Km. Hangos et Ei. Varga, NOTE ON THE EFFECT OF RECYCLE ON THE DYNAMICS OF CHEMICAL PROCESS PLANTS, Computers & chemical engineering, 19(5), 1995, pp. 607-610
Citation: M. Gerzson et Km. Hangos, QUALITATIVE MODEL-BASED VERIFICATION OF O PERATING PROCEDURES USING COLORED PETRI NETS, Magyar kemiai folyoirat, 101(3), 1995, pp. 97-114
Citation: M. Gerzson et al., QUALITATIVE MODEL-BASED VERIFICATION OF OPERATING PROCEDURES BY HIGH-LEVEL PETRI NETS, Computers & chemical engineering, 18, 1994, pp. 190000565-190000569