Abstract Processes in the Absence of Conflicts in General Place/Transition Systems.

Rob van Glabbeek Ursula Goltz Jens-Wolfhard Schicke-Uffmann

Published in: CoRR (2022)

Keyphrases

transition systems
process model
temporal logic
heuristic search
model checking
finite state