Citation: A. Fanni et A. Giua, DISCRETE-EVENT REPRESENTATION OF QUALITATIVE MODELS USING PETRI NETS, IEEE transactions on systems, man and cybernetics. Part B. Cybernetics, 28(6), 1998, pp. 770-780
Citation: Le. Holloway et al., A SURVEY OF PETRI-NET METHODS FOR CONTROLLED DISCRETE-EVENT SYSTEMS, Discrete event dynamic systems, 7(2), 1997, pp. 151-190
Citation: G. Corriga et al., AN H-2 FORMULATION FOR THE DESIGN OF A PASSIVE VIBRATION-ISOLATION SYSTEM FOR CARS, Vehicle System Dynamics, 26(5), 1996, pp. 381-393
Citation: S. Gaubert et A. Giua, DETERMINISTIC WEAK-AND-MARKED PETRI-NET LANGUAGES ARE REGULAR, IEEE transactions on automatic control, 41(12), 1996, pp. 1802-1803
Citation: A. Giua et F. Dicesare, DECIDABILITY AND CLOSURE-PROPERTIES OF WEAK PETRI-NET LANGUAGES IN SUPERVISORY CONTROL, IEEE transactions on automatic control, 40(5), 1995, pp. 906-910
Citation: A. Giua et F. Dicesare, PETRI-NET STRUCTURAL-ANALYSIS FOR SUPERVISORY CONTROL, IEEE transactions on robotics and automation, 10(2), 1994, pp. 185-195
Citation: A. Giua et F. Dicesare, BLOCKING AND CONTROLLABILITY OF PETRI NETS IN SUPERVISORY CONTROL, IEEE transactions on automatic control, 39(4), 1994, pp. 818-823