Formal Validation of Complex Production Systems Using Coloured Petri Nets.

Armando W. Colombo Javier Martínez Ricardo O. Carelli

Published in: ICRA (1994)

Keyphrases

production system
coloured petri nets
multistage
production process
high level
certainty factor

database
expert systems
control structure
production rules
information systems

multiprocessor architecture
production line
formal specification
complex data
formal model

complex systems
markov decision
dynamic programming
reinforcement learning
case study