Login / Signup

From Event-Oriented Models to Transition Systems.

Eike BestNataliya GribovskayaIrina B. Virbitskaite
Published in: Petri Nets (2018)
Keyphrases
  • transition systems
  • search algorithm
  • hidden markov models
  • temporal logic