Keyphrases
- petri net
- state machines
- petri net model
- rewrite systems
- active rules
- manufacturing systems
- discrete event systems
- colored petri nets
- fuzzy petri net
- service composition
- stochastic petri net
- process algebra
- programmable logic controller
- state machine
- sequence diagrams
- ims ld
- process model
- logic programming
- data analysis
- active databases