WF hálózat

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2021. május 9-én felülvizsgált verziótól ; az ellenőrzések 2 szerkesztést igényelnek .

A WF-network ( angolul jól formált hálózat , munkafolyamat hálózat is ) egy Petri-háló típus, amelyet Wil van der Aalst [1] vezetett be munkafolyamat - rendszerek modellezésére .

A Petri hálózatot munkafolyamat-hálózatnak (WF-net) nevezzük, ha a következő feltételek teljesülnek: $PN=(P,T,F)$

csak egy olyan kiindulási helyzet van, amelyben nincsenek átmenetek ; $én$ $én$
csak egy olyan véghelyzet van, amelyből nincsenek átmenetek ; $o$ $o$
ennek a hálózatnak minden csomópontja a -tól ig tartó úton található . $én$ $o$

A WF-hálózatok a munkafolyamat -grafikonok strukturális ütközések, például holtpontok és szinkronizálás hiányának ellenőrzésére szolgálnak . A strukturális konfliktusok hiányoznak, ha a WF hálózat hibamentes.

A hibamentes vagy helyes lezárás tulajdonsága az alábbi követelményeknek felel meg:

a végső pozíció bármely pozícióból történő ugrássorozattal elérhető ; $o$ $én$
A WF-net nem tartalmaz extra pozíciókat (amelyek soha nem fognak teljesülni);
a hálózat végső pozíciójának elérésekor ne maradjanak chipek a köztes pozíciókban.

A hibamentes tulajdonság a Petri-hálók két jól ismert tulajdonságának felel meg: az élénkségnek és a kötöttségnek .

Jegyzetek

↑ van der Aalst, Wil MP. Petri-hálók alkalmazása munkafolyamat-kezelésben (angol) // Journal of Circuit, Systems és Computers. - 1998. - T. 8.01 . - S. 21-66 . — ISSN 0218-1266 . Archiválva az eredetiből 2021. február 24-én.

Irodalom

G. Chiola. Az időzített jól formált Petri-háló viselkedésének jellemzése előfordulási egyenletekkel // Proceedings of the VI International Workshop on Petri Nets and Performance Models. – Washington DC, USA: IEEE Computer Society . - ISBN 0-8186-7210-2 .