Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics.
Saadat AnwarChitta BaralPublished in: AAAI (2014)
Keyphrases
- petri net
- colored petri nets
- petri net model
- manufacturing systems
- reactive systems
- discrete event systems
- specification language
- fuzzy petri net
- query language
- query processing
- web service composition
- high level petri nets
- sequence diagrams
- formal semantics
- query evaluation
- concurrent systems
- story generation
- stochastic petri net
- control flow
- service composition
- ims ld
- source schema
- process model
- logic programming