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: M. Gerzson et Km. Hangos, ANALYSIS OF CONTROLLED TECHNOLOGICAL SYSTEMS USING NIGH LEVEL PETRI NETS, Computers & chemical engineering, 19, 1995, pp. 531-536
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