Subclasses of Petri nets: SMs

• State machine: every transition has at most 1 predecessor and 1 successor

• Models only causality and choice (no concurrency)

Previous slide

Next slide

Back to first slide

View graphic version