Abstract processes and conflicts in place/transition systems.

Rob van Glabbeek Ursula Goltz Jens-Wolfhard Schicke-Uffmann

Published in: Inf. Comput. (2021)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
artificial intelligence
reinforcement learning
distributed systems
process model