WF nätverk

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 9 maj 2021; kontroller kräver 2 redigeringar .

WF-nätverk ( engelska välformade nätverk , även arbetsflödesnätverk ) är en typ av Petri-nät som introducerats av Wil van der Aalst [1] för modellering av arbetsflödessystem .

Ett Petri-nät kallas ett arbetsflödesnätverk (WF-net) om följande villkor är uppfyllda: $PN=(P,T,F)$

det finns bara en startposition så att det inte finns några övergångar i ; $i$ $i$
det finns bara ett ändläge så att det inte finns några övergångar från ; $o$ $o$
varje nod i detta nätverk ligger på vägen från till . $i$ $o$

WF-nätverk används för att kontrollera arbetsflödesdiagram för strukturella konflikter som dödlägen och bristande synkronisering . Strukturella konflikter saknas om WF-nätet är felfritt.

Egenskapen för felfri eller korrekt uppsägning uppfyller följande krav:

den slutliga positionen kan nås genom valfri sekvens av hopp från position ; $o$ $i$
WF-net innehåller inga extra positioner (som aldrig kommer att uppfyllas);
När du når den slutliga positionen för detta nätverk bör det inte finnas några marker kvar i mellanpositioner.

Den defektfria egenskapen motsvarar två välkända egenskaper hos Petri-näten: livlighet och begränsning .

Anteckningar

↑ van der Aalst, Wil MP. Tillämpningen av Petri-nät för arbetsflödeshantering (engelska) // Journal of kretsar, system och datorer. - 1998. - T. 8.01 . - S. 21-66 . — ISSN 0218-1266 . Arkiverad från originalet den 24 februari 2021.

Litteratur

G. Chiola. Karakterisering av tidsinställda välformade Petri Nets beteende med hjälp av förekomstekvationer // Proceedings of the VI International Workshop on Petri Nets and Performance Models. — Washington DC, USA: IEEE Computer Society . - ISBN 0-8186-7210-2 .