Login / Signup
Abstract Processes of Place/Transition Systems
Rob J. van Glabbeek
Ursula Goltz
Jens-Wolfhard Schicke
Published in:
CoRR (2011)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
process model
practical reasoning
artificial intelligence
search algorithm
markov chain
fully observable