Tutorial

Esempio di sessione di lavoro per i File TracceRupos.mxml

1. Avviare PromGui ed importare i log TracceRupos.mxml Il log contiene 200 istanze di processo, ognuna con un numero di eventi da 2 a 6

2. Eseguire Alpha algorithm La rete che si ottiene non e' corretta: se viene eseguito B.Start e poi B.complete ci si trova con 2 token in B.end->C.start e nessun token in A.complete->C.start La rete rimane quindi bloccata e C.start non puo' partire

3. Salvare la rete generata

4. Avviare la conformance sul file di log e sulla rete generata ------------ TOTALE SU TUTTE LE TRACCE: ------------ Fitness totale:0.9335648148148148 Missing Marking:[({[A@a+complete]} --> {[C@c+start, B@b+start]},90)] Remaning Marking: [({[A@a+complete, B@b+complete]} --> {[C@c+start]},95) (End,200)] Transizioni che non fittano: C@c+start : 90 tracce Attivazioni degli archi: FROM C@c+pi_abort TO End : 10 attivazioni FROM {[C@c+start]} --> {[C@c+pi_abort, C@c+complete]} TO C@c+complete : 175 attivazioni FROM {[B@b+start]} --> {[B@b+pi_abort, B@b+complete]} TO B@b+complete : 90 attivazioni FROM {[C@c+start]} --> {[C@c+pi_abort, C@c+complete]} TO C@c+pi_abort : 10 attivazioni FROM {[A@a+complete, B@b+complete]} --> {[C@c+start]} TO C@c+start : 185 attivazioni FROM {[A@a+complete]} --> {[C@c+start, B@b+start]} TO B@b+start : 95 attivazioni FROM {[B@b+start]} --> {[B@b+pi_abort, B@b+complete]} TO B@b+pi_abort : 5 attivazioni FROM B@b+start TO {[B@b+start]} --> {[B@b+pi_abort, B@b+complete]} : 95 attivazioni FROM Start TO A@a+start : 200 attivazioni FROM A@a+start TO {[A@a+start]} --> {[A@a+complete, A@a+pi_abort]} : 200 attivazioni FROM A@a+complete TO {[A@a+complete]} --> {[C@c+start, B@b+start]} : 190 attivazioni FROM A@a+pi_abort TO End : 10 attivazioni FROM B@b+complete TO {[A@a+complete, B@b+complete]} --> {[C@c+start]} : 90 attivazioni FROM {[A@a+start]} --> {[A@a+complete, A@a+pi_abort]} TO A@a+complete : 190 attivazioni FROM {[A@a+complete]} --> {[C@c+start, B@b+start]} TO C@c+start : 185 attivazioni FROM C@c+start TO {[C@c+start]} --> {[C@c+pi_abort, C@c+complete]} : 185 attivazioni FROM A@a+complete TO {[A@a+complete, B@b+complete]} --> {[C@c+start]} : 190 attivazioni FROM {[A@a+start]} --> {[A@a+complete, A@a+pi_abort]} TO A@a+pi_abort : 10 attivazioni FROM B@b+pi_abort TO End : 5 attivazioni FROM C@c+complete TO End : 175 attivazioni

---

90 Tracce non sono conformi con la petri net, sono tutte quelle che fanno B.start e B.complete. In queste tracce le transazione sbagliate sono proprio le attivazioni di C.start

Notare che rimangono 95 token in [({[A@a+complete, B@b+complete]} --> {[C@c+start]},95). Questi sono causati dalle 90 tracce sbagliate e da tutti i casi in cui viene fatto B.abort.

5. La petri net di proM non si apre con Woped, quindi rifare da zero la rete con Woped per corrggerla o usare la rete TracceRuposWoped. Riavviare la conformance. Notare la transizione "EMPTY"

------------ TOTALE SU TUTTE LE TRACCE: ------------ Fitness totale:1.0 Missing Marking:[] Remaning Marking: [(p3,200)] Transizioni che non fittano: Attivazioni degli archi: FROM p1 TO A@a+start : 200 attivazioni FROM B@b+start TO p5 : 95 attivazioni FROM A@a+pi_abort TO p3 : 10 attivazioni FROM C@c+start TO p8 : 185 attivazioni FROM A@a+start TO p2 : 200 attivazioni FROM B@b+complete TO p7 : 90 attivazioni FROM B@b+pi_abort TO p3 : 5 attivazioni FROM p2 TO A@a+complete : 190 attivazioni FROM p8 TO C@c+complete : 175 attivazioni FROM p7 TO C@c+start : 185 attivazioni FROM p4 TO EMPTY : 95 attivazioni FROM p5 TO B@b+complete : 90 attivazioni FROM p4 TO B@b+start : 95 attivazioni FROM C@c+complete TO p3 : 175 attivazioni FROM A@a+complete TO p4 : 190 attivazioni FROM p2 TO A@a+pi_abort : 10 attivazioni FROM EMPTY TO p7 : 95 attivazioni FROM C@c+pi_abort TO p3 : 10 attivazioni FROM p5 TO B@b+pi_abort : 5 attivazioni FROM p8 TO C@c+pi_abort : 10 attivazioni