Kibővített értelmezésű Petri hálók
A VIK Wikiből
(FormModPetriBovit szócikkből átirányítva)
Ez az oldal a korábbi SCH wikiről lett áthozva.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.
...
*Jól formált petri háló*
- színezettek, és a számosságot a színekkel fejezik ki.
- reguláris hálózatok esetén lehetővé teszik szimbolikus elérhetőségi gráfok megalkotását
- jól formált PN megközelítésének alapgondolata, hogy a kezelhetőség érdekében az alkalmazható színezést és tüzelési szabályokat korlátozza, és a komplex kifejezéseket agy jól körülhatárolt szabályrendszerben a garantáltan analizálható struktúrákra szorítja meg.
- tetszőleges szín esetén a hálózat működésének szimmetrikusan azonosnak kell lennie.
...
-- adamo - 2006.04.02.
