Fachbereich Informatik  Abteilung
Betriebssysteme und Verteilte Systeme
Universitšt Oldenburg   

Publications: Details


Document Description

Author: Günther Stiege
Title: Equivalences of Coloured Petri Nets
Kind of Publication: Report. Hildesheimer Informatik-Berichte 24/96, Universität Hildesheim, August 1996
Date: August 1996
Institution: Universität Hildesheim; Institut für Betriebssysteme und Rechnerverbund
Pages, Language 26, English
Keywords: Equivalences of Petri Nets
CR Classification: D.2.2 [Tools and Techniques]: Petri nets; F.1.2 [Models of Computation]; G.2.1 [Combinatorics]: Permutations and combinations
General Terms (ACM): Theory
up

Abstract

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.

Kurzfassung

Mittels positiver grapherhaltender Modulisomorphismen werden gefärbte und allgemeine Petrinetze definiert. Drei Arten von Äquivalenzen werden mit diesen Isomorphismen eingeführt und untersucht. Es wird ein Verfahren zum Testen von Äquivalenzen, das Profile benutzt, vorgestellt.

up

Download

up

Remarks

None.
up


Last change: Apr 2, 1999 stiege