Talk:Embedded Control Systems Design/Finite State Machines and Petri Nets

FSM
cola automaat ofzo wanneer gebruik je FSM en hoe pak je het aan verkeerslichten, software modelleren

Petri Net
robocup, treinennet, vliegtuigennet...

o.a. verschil tussen Petri Net en FSM: Petri Net bevat meerdere toestanden op één moment, verbindt meerdere systemen en FSM is één systeem dat telkens in één toestand is. deadlock: hoe kan dit voorvallen bij Petri Net en FSM? uml: wat stelt dit voor + State Charts + semantic deviation point

UML
(State machines are the primary means within the Unified Modeling Language (UML) for capturing complex dynamic behavior. The UML is a third-generation state-of-the-art object modeling language that defines a comprehensive set of notations and defines the semantics of those language elements. The UML is an inherently discrete language, meaning that it emphasizes discrete representations of dynamic behavior, such as state machines, over continuous representations.)