Abstract processes of place/transition systems.

Rob J. van Glabbeek Ursula Goltz Jens-Wolfhard Schicke

Published in: Inf. Process. Lett. (2011)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
process model
formal specification
workflow management systems
reactive systems