Keyphrases
- petri net
- formal verification
- model checking
- petri net model
- automated verification
- model checker
- discrete event systems
- bounded model checking
- manufacturing systems
- fuzzy petri net
- symbolic model checking
- colored petri nets
- web service composition
- ims ld
- state machines
- concurrent systems
- discrete dynamical systems
- temporal logic
- sequence diagrams
- stochastic petri net
- service composition
- knowledge based systems
- programmable logic controller