Traditional High-Level Petri Nets

The two net models Predicate/Transition Nets and Coloured Petri Nets are very similar and the main differences concern the methods to calculate and interpret place and transition invariants.

Nevertheless they are defined and presented in two rather different ways:


K. Jensen, G. Rozenberg: High-level Petri Nets - Theory and Application [jr91]