Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
Rob J. van GlabbeekPublished in: Correct System Design (2015)
Keyphrases
- petri net
- structure preserving
- petri net model
- manufacturing systems
- colored petri nets
- discrete event systems
- dimensionality reduction
- stochastic petri net
- high level petri nets
- service composition
- web service composition
- ims ld
- decision making
- logic programming
- decision support
- business processes
- unit commitment
- pattern recognition
- story generation
- fuzzy petri net
- image processing
- knowledge base