Control Verification of a Chemical Automated Process by Mixed Petri Nets.

Claire Valentin, C. Rimlinger

Browse the full ICRA paper archive.