Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows.
Robin BergenthumPublished in: Petri Nets (2013)
Keyphrases
- partially ordered
- petri net
- petri net model
- colored petri nets
- partial order
- concurrent systems
- discrete event systems
- partial ordering
- fuzzy petri net
- manufacturing systems
- ims ld
- totally ordered
- service composition
- stochastic petri net
- state machines
- model checking
- web services
- asynchronous circuits
- temporal logic
- distributed systems
- computational intelligence
- data mining
- neural network