Sign in

Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs.

Randy ParedisJoachim DenilHans Vangheluwe
Published in: WSC (2021)
Keyphrases
  • finite state automata
  • finite state machines
  • discrete event
  • petri net
  • hybrid automata
  • database
  • query processing
  • decision makers
  • model checking
  • simulation model