31.05.2007

Sieci Petriego bez znaczników

W referacie przedstawione jest rozszerzenie sieci Petriego znanych pod nazwą sieci miejsc i tranzycji (PT nets) do sieci nazwanych tu sieciami bez znaczników (Token free nets). Rozszerzenie to, polegające na wzbogaceniu wartościowania miejsc sieci, upraszcza definicję sieci, zachowuje własność kompozycjonalności, a ponadto umozliwia wyspecyfikowanie różnych zachowań sieci o wspólnej strukturze.
Pokazane jest, że sieci bez znaczników mogą być traktowane jako systemy współpracujących automatów. Określone są ciągi wykonań, ich wzajemna równoważność, przebiegi w sieciach bez znaczników, oraz klasy przebiegów dające się zrealizować przez właściwy dobór wartościowania miejsc sieci. Podane są przykłady świadczące o ułatwieniu modelowania rzeczywistych systemów poprzez zaprezentowane rozszerzenie sieci.