WF síť

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 9. května 2021; kontroly vyžadují 2 úpravy .

WF-network ( anglicky well-formed network , také workflow network ) je typ Petriho sítě představený Wil van der Aalst [1] pro modelování workflow systémů .

Petriho síť se nazývá workflow network (WF-net), pokud jsou splněny následující podmínky: $PN=(P,T,F)$

existuje pouze jedna výchozí pozice , takže v ní nejsou žádné přechody ; $i$ $i$
existuje pouze jedna koncová poloha , takže neexistují žádné přechody z ; $Ó$ $Ó$
každý uzel této sítě se nachází na cestě z do . $i$ $Ó$

Sítě WF se používají ke kontrole grafů pracovních toků na strukturální konflikty, jako jsou uváznutí a nedostatek synchronizace . Strukturální konflikty chybí, pokud je síť WF bez závad.

Vlastnost bezvadného nebo správného ukončení splňuje následující požadavky:

konečná pozice je dosažitelná libovolnou sekvencí skoků z pozice ; $Ó$ $i$
WF-net neobsahuje další pozice (které nebudou nikdy splněny);
po dosažení konečné pozice této sítě by neměly zůstat žádné žetony v mezipolohách.

Bezvadnost odpovídá dvěma známým vlastnostem Petriho sítí: živost a ohraničenost .

Poznámky

↑ van der Aalst, Wil MP. Aplikace Petriho sítí pro správu pracovních toků (anglicky) // Journal of circuits, systems, and computers. - 1998. - T. 8.01 . - S. 21-66 . — ISSN 0218-1266 . Archivováno z originálu 24. února 2021.

Literatura

G. Chiola. Charakterizace načasovaného chování dobře formovaných Petriho sítí pomocí rovnic výskytu // Proceedings of the VI International Workshop on Petri Networks and Performance Models. — Washington DC, USA: IEEE Computer Society . - ISBN 0-8186-7210-2 .