3 Workflownetze/ Soundness

-> stark zusammenhängend, wenn man i und o verbindet!

• unendlich viele Folgen:

  • BeschaffungPlanen AntragStellen … AntragStellen Antrag Genehmigen

• Stelle “Antrag” zählt gestellte Anträge

• verklemmt, wenn o eine Marke trägt

1. Option zu terminieren

2. richtiges Terminieren

3. keine überflüssigen Transitionen

4. sound

aus der Anfangsmarkierung heraus ereicht man Markierung mit nur einer Marke in der Endstelle

= wir können Geschäftsprozess abschliessen

jedes Mal, wenn Marke in Endstelle, tragen alle übrigen Stellen keine Marke

= Geschäftsprozess ist abgeschlossen und es bleiben keine zusätzlichen Marken, die unverarbeitet im Modell bleiben

= Transitionen die aus der Anfangsmarkierung heraus nicht aktiviert werden können

= im Geschäftsprozess ist jede modellierte Aufgabe wirklich Teil des Prozesses ist.

• o ist ereichbar von jeder aus i heraus erreichbaren Markierung

• jede Transition wird durch erreichbare Markierung aktiviert

  
  

• lebendig

• beschränkt

  
  

= Workflownetz

und Funktion, die jeder Transition eine Aktivität zuordnet oder die stille Transition

• mit leerer Beschriftung beschriftet

• können Markierung des Worklownetzes ändern

• sind keiner Aktivität zugeordnet

• formale Beschriftung Tau