Responsible:
StiegeProject Status: dormant
Project description: Positive graph conserving module isomorphisms are
used to define coloured and general petri nets. Three kinds of equivalences
are introduced and investigated using these isomorphisms. An equivalence
testing procedure using profiles is presented.
