Subclasses of Petri nets: FC nets

• Free-Choice net: every transition after choice has exactly 1 predecessor

Previous slide

Next slide

Back to first slide

View graphic version