A Compositional Partial Order Semantics for Petri Net Components.
Ekkart KindlerPublished in: ICATPN (1997)
Keyphrases
- partial order
- petri net
- partially ordered
- conceptual graphs
- total order
- petri net model
- discrete event systems
- manufacturing systems
- fuzzy petri net
- web service composition
- stochastic petri net
- service composition
- preference relations
- declarative semantics
- ims ld
- logical formulas
- colored petri nets
- lattice structure
- totally ordered
- sequential patterns
- software components
- story generation
- data structure