Operational semantics for Petri net components.
Jan Friso GrooteMarc VoorhoevePublished in: Theor. Comput. Sci. (2007)
Keyphrases
- petri net
- operational semantics
- petri net model
- formal semantics
- discrete event systems
- fuzzy petri net
- data model
- process model
- colored petri nets
- stochastic petri net
- activity diagrams
- mental states
- ims ld
- web services
- artificial intelligence
- speech acts
- web service composition
- service composition
- database systems
- workflow process
- database