Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems.

Raymond R. Devillers Evgeny Erofeev Thomas Hujsa

Published in: ATAED@Petri Nets/ACSD (2018)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
weighted graph
finite state
practical reasoning
reactive systems
np hard
model checker