Authors: GERZSON M CSAKI Z HANGOS KM

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