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