Petri tīkli un to fazificēšana

Abstract

Darbs veltīts parastiem un krāsainiem Petri tīkliem un to modelēšanai CPN Tools. Darba mērķis ir aprakstīt Petri tīklu nestriktas modifikācijas no vienota skata punkta grafu teorijas kontekstā, balstoties uz nestrikto marķējumu un nestriktām pārejām. Nestrikto Petri tīklu darbība ilustrēta ar vairākiem lietišķa rakstura piemēriem. Ir parādīts, ka nestrikto Petri tīklu dinamisko uzvedību var simulēt, izmantojot CPN Tools modelēšanas rīku.

Atslēgas vārdi: multikopas, Petri tīkli, nestriktie Petri tīkli, krāsainie Petri tīkli, nestriktie krāsainie Petri tīkli, CPN Tools.

The work is devoted to simple and coloured Petri nets and their modelling using CPN Tools. The work purpose is to describe Petri nets fuzzy modifications from single point of view in the frame work of graph theory, based on fuzzy marking and fuzzy transitions. Dynamic performance of fuzzy Petri nets is illustrated by several practical examples. It is shown that fuzzy Petri nets dynamic behaviour can be simulated by CPN Tools.

Keywords: multisets, Petri nets, fuzzy Petri nets, coloured Petri nets, fuzzy coloured Petri nets, CPN Tools.