WF verkko

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 9. toukokuuta 2021 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .

WF-verkko ( englanniksi well-formed network , myös workflow network ) on Wil van der Aalstin [1] käyttöönottama Petri - verkko työnkulkujärjestelmien mallintamiseen .

Petri-verkkoa kutsutaan työnkulkuverkoksi (WF-net), jos seuraavat ehdot täyttyvät: $PN=(P,T,F)$

on vain yksi aloitusasento , jossa ei ole siirtymiä ; $i$ $i$
on vain yksi pääteasento , josta ei ole siirtymiä ; $o$ $o$
tämän verkon jokainen solmu sijaitsee polulla osoitteesta . $i$ $o$

WF-verkkoja käytetään työnkulkukaavioiden tarkistamiseen rakenteellisten ristiriitojen, kuten lukkiutumien ja synkronoinnin puutteen varalta . Rakenteelliset ristiriidat puuttuvat, jos WF-verkko on virheetön.

Virheettömän tai oikean päättämisen ominaisuus täyttää seuraavat vaatimukset:

lopullinen sijainti on saavutettavissa millä tahansa hyppysarjalla paikasta ; $o$ $i$
WF-net ei sisällä ylimääräisiä paikkoja (jotka eivät koskaan täyty);
saavuttaessa tämän verkon lopullisen sijainnin, välipaikkoihin ei saa jäädä siruja.

Virheetön ominaisuus vastaa Petri-verkkojen kahta hyvin tunnettua ominaisuutta: eloisuutta ja rajoittuneisuutta .

Muistiinpanot

↑ van der Aalst, Wil MP. Petri-verkkojen soveltaminen työnkulun hallintaan (englanti) // Piirien, järjestelmien ja tietokoneiden lehti. - 1998. - T. 8.01 . - S. 21-66 . — ISSN 0218-1266 . Arkistoitu alkuperäisestä 24. helmikuuta 2021.

Kirjallisuus

G. Chiola. Ajastetun hyvin muodostetun Petri-verkkojen käyttäytymisen karakterisointi esiintymäyhtälöiden avulla // Proceedings of the VI International Workshop on Petri Nets and Performance Models. — Washington DC, USA: IEEE Computer Society . - ISBN 0-8186-7210-2 .