Preserving Partial Order Runs in Parametric Time Petri Nets.
Étienne AndréThomas ChatainCésar RodríguezPublished in: ACSD (2015)
Keyphrases
- petri net
- partial order
- partially ordered
- total order
- discrete event systems
- petri net model
- colored petri nets
- manufacturing systems
- web service composition
- state machines
- lattice structure
- stochastic petri net
- ims ld
- fuzzy petri net
- sequential patterns
- preference relations
- knowledge base
- totally ordered
- programmable logic controller