Models of Computation for reactive systems

• Main MoCs:

  • Finite State Machines (FSM)
  • Data Flow Process Networks
  • Petri Nets
  • Discrete Event
  • Codesign Finite State Machines

• Some main Languages:

  • Esterel, StateCharts, Dataflow Networks

Previous slide

Back to first slide

View graphic version