A Process Algebra Based Verification of a Production System.
J. J. T. KleijnJacobus E. RoodaMichel A. ReniersPublished in: ICFEM (1998)
Keyphrases
- production system
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- temporal logic
- formal specification
- concurrent programs
- grid workflow
- multistage
- multiprocessor architecture
- production process
- distributed systems
- certainty factor
- expert systems
- production rules
- control structure
- web services composition
- petri net
- production rate
- communication protocols
- lot streaming
- scheduling problem