Keyphrases
- petri net
- programmable logic controller
- manufacturing systems
- petri net model
- colored petri nets
- discrete event systems
- service composition
- fuzzy petri net
- stochastic petri net
- process model
- state machines
- logic programming
- modal logic
- ims ld
- learning resources
- epistemic logic
- asynchronous circuits
- discrete dynamical systems