Formal Validation of Complex Production Systems Using Coloured Petri Nets.
Armando W. ColomboJavier MartínezRicardo O. CarelliPublished 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