The Azimuth Project
Experiments in Petri net specification

Idea

Different types of Petri net specification need different types of implementation.

The Azimuth code project has 4 pedagogical implementations of Petri nets.

Specifications