Many, many models

• Petri nets

• Communicating finite state machines

• Statecharts

• RSML

• …

• …

Previous slide

Next slide

Back to first slide

View graphic version