Barvené a hierarchické Petriho Sítě

Jde o rozšíření P/T sítí.

Hierarchické sítě

Při modelování systémů je nepraktické modelovat celý systém jako jednu velkou síť, obzvlášť pokud se některé kusy opakují. Hierarchické sítě toto řeší pomocí několika mechanismů:

nahrazení místa

substituce sítě do místa

je nutné specifikovat, jak se preset a poset tohoto místa napojí na minimální a maximální přechodový řez substituované sítě

nahrazení přechodu

substituce sítě do přechodu

podobná specifikace jako u místa, akorát jde o S-řezy v substituované síti

invokace sítě v přechodu

podobný mechanismus jako vyvolání metody s parametry

invokovaná síť má svou šablonu, dle které je vytvořena instance sítě s nějakým počátečním značením

opět se navazují hodnoty presetu přechodu do míst invokované sítě

speciální místo RETURN, které při naplnění způsobí zrušení sítě a navázání hodnot z některých míst na výstup přechodu, který síť invokoval

Fúze míst

Sloučení dvou míst sjednocením vstupních a výstupních hran. Při kombinaci fúze a substituce lze rozlišit tři typy fúze:

lokální fúze v rámci jedné sítě

fúze napříč všemi instancemi dané sítě (něco jako třídní proměnná)

fúze napříč všemi instancemi všech sítí (něco jako globální proměnná)

Barvené sítě

Specifikují u značek i jejich datový typ - colorset, značky pak nabývají hodnot z daného coloresetu - colors.

Je zaveden inskripční jazyk, kterým lze specifikovat:

typy proměnných

typy míst a počáteční značení

strážní podmínky u přechodů (test na obsah proměnných)

transformaci značek v přechodech

atd.

Multimnožiny

Místo může obsahovat určitý počet prvků několika různých datových typů. Počáteční značení a požadovaný počet a typ značek na přechodech se značí pomocí multimnožinového operátoru, např.:

1`a + 3`b + 2`c

Formálně je multimnožina nad množinou S funkce m: S → N, která každému prvku přiřazuje přirozené číslo. Pokud m(s) > 0, tak prvek s do náleží do multimnožiny.