Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems.

Raymond R. Devillers Evgeny Erofeev Thomas Hujsa

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

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
weighted graph
finite state
practical reasoning
control flow
reactive systems
artificial intelligence
social networks
distributed systems
markov decision processes
real time systems
formal verification
model checker