Compositional Semantics of Pure Place/ Transition Systems.
Antoni W. MazurkiewiczPublished in: European Workshop on Applications and Theory of Petri Nets (1987)
Keyphrases
- transition systems
- compositional semantics
- model checking
- concurrent systems
- temporal logic
- finite state
- natural language
- control flow
- practical reasoning
- discourse structure
- reactive systems
- formal specification
- model checker
- distributed systems
- domain independent
- markov chain
- data flow
- artificial intelligence
- formal methods
- fully observable
- domain specific