Regular Nets

A Regular Net (RN) is a Coloured Petri Net in which the colour domains of places and transitions are made of any Cartesian Product of basic object classes, each class appearing no more than once in the product.

Definition

Sample Net

REGULAR NET MODEL OF A DATABASE

Colour classes:
SIT={s1, s2, s3} **DB sites
FIL={f1, f2} **Files
Initial marking:
Active = Passive = SIT
Mutex = FIL

References

S. Haddad: Une Categorie Regulier de Reseau de Petri de Haut Niveau: Definition, Proprietes et Reductions. PhD thesis, Lab. MASI, Universite P. et M. Curie, Paris, France, Oct. 1987

BACK