Control Verification of a Chemical Automated Process by Mixed Petri Nets. - Claire Valentin; C. Rimlinger (ICRA, 2002)