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

Claire Valentin C. Rimlinger

Published in: ICRA (2002)

Keyphrases

petri net
colored petri nets
petri net model
process model
concurrent systems
service composition
manufacturing systems
discrete event systems
discrete dynamical systems
decision making
expert systems
control system
distributed systems
business process
fuzzy petri net