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

Claire Valentin, C. Rimlinger (2002)

Details and statistics

DOI: 10.1109/ROBOT.2002.1013343

access: closed

type: Conference or Workshop Paper

metadata version: 2019-12-27

a service of  Schloss Dagstuhl - Leibniz Center for Informatics