Rețeaua WF

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 9 mai 2021; verificările necesită 2 modificări .

WF-network ( în engleză well-formed network , de asemenea workflow network ) este un tip de rețea Petri introdus de Wil van der Aalst [1] pentru modelarea sistemelor de flux de lucru .

O rețea Petri se numește rețea de flux de lucru (WF-net) dacă sunt îndeplinite următoarele condiții: $PN=(P,T,F)$

există o singură poziţie de pornire astfel încât să nu existe tranziţii în ; $i$ $i$
există o singură poziţie finală astfel încât să nu existe tranziţii de la ; $o$ $o$
fiecare nod al acestei rețele este situat pe calea de la la . $i$ $o$

Rețelele WF sunt folosite pentru a verifica graficele fluxului de lucru pentru conflicte structurale, cum ar fi blocaje și lipsa de sincronizare . Conflictele structurale sunt absente dacă rețeaua WF este lipsită de defecte.

Proprietatea rezilierii fără defecte sau corecte îndeplinește următoarele cerințe:

poziția finală este accesibilă prin orice succesiune de sărituri din poziție ; $o$ $i$
WF-net nu conține posturi suplimentare (care nu vor fi îndeplinite niciodată);
la atingerea poziției finale a acestei rețele, nu ar trebui să rămână jetoane în poziții intermediare.

Proprietatea lipsită de defecte corespunde celor două proprietăți binecunoscute ale rețelelor Petri: vivacitatea și mărginirea .

Note

↑ van der Aalst, Wil MP. Aplicarea rețelelor Petri la managementul fluxului de lucru (engleză) // Jurnal de circuite, sisteme și computere. - 1998. - T. 8.01 . - S. 21-66 . — ISSN 0218-1266 . Arhivat din original pe 24 februarie 2021.

Literatură

G. Chiola. Caracterizarea comportamentului rețelelor Petri bine formate temporizate prin intermediul ecuațiilor de apariție // Proceedings of the VI International Workshop on Petri Nets and Performance Models. — Washington DC, SUA: IEEE Computer Society . - ISBN 0-8186-7210-2 .