Informatik  Abteilung 
Betriebssysteme und Verteilte Systeme
Universitšt Oldenburg   

Research Areas & Projects

Petri Nets

Responsible:  Stiege   Project 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.


Last change: Ap 2 1999 stiege