Formele Technieken in Software Engineering Petri Nets: 1. Maak een Petri Net voor een rond punt. Wagens die het rond punt willen betreden hebben prioriteit. Auto's kunnen niet inhalen, eens er een beslissing is welke straat ze gaan nemen blijft die, in een straat kunnen auto's op en af het rond pun...