A senior course on logic process control based on Petri nets.
Lothar LitzGeorg FreyPublished in: SMC (1998)
Keyphrases
- petri net
- process control
- programmable logic controller
- control system
- petri net model
- product quality
- discrete event systems
- manufacturing systems
- semiconductor manufacturing
- manufacturing process
- logic programming
- fuzzy petri net
- ims ld
- stochastic petri net
- colored petri nets
- state machines
- asynchronous circuits
- knowledge base
- service composition
- concurrent systems
- epistemic logic
- control charts
- process model
- sequence diagrams
- neural network
- discrete dynamical systems