Abteilung
Betriebssysteme und Verteilte Systeme

Publications: Details

General Informations

Abstract/Kurzfassung

Full text

Remarks

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

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.

Download

PostScript, gzip'ed (291 KBytes)

Remarks

None.

Last change: Apr 2, 1999 stiege