For your convenicence, you may download here a zip file with POD as used for this experiments (commit 5d7ed4).
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'Angiogenesis-PT-01.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=32 --output=Angiogenesis-PT-01.xes.disc.pnml Angiogenesis-PT-01.xes Angiogenesis-PT-01.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 32 net.transitions : 46 place.post size min/max/avg : 1, 4, 1.47 place.pre size min/max/avg : 1, 9, 1.94 trans.post size min/max/avg : 0, 3, 1.35 trans.pre size min/max/avg : 1, 2, 1.02 Independence ratios =================== pod: cmp-indep: net1 is 'Angiogenesis-PT-01.pnml' pod: cmp-indep: net2 is 'Angiogenesis-PT-01.xes.disc.pnml' pod: cmp-indep: WARNING: net1 - net2: [u'k48', u'k60', u'k15', u'k58', u'k22', u'k23', u'k46', u'k47', u'k26', u'k27', u'k25', u'k3', u'k7', u'k6', u'k5', u'k4', u'k59', u'k49'] pod: cmp-indep: net1: dep / indep = 718 / 3378 pairs pod: cmp-indep: net2: dep / indep = 280 / 1836 pairs pod: cmp-indep: inters. of indep. rels. : 1714 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.51 pod: cmp-indep: ratios: indep2 in indep1: 0.93 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'DatabaseWithMutex-PT-02.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=32 --output=DatabaseWithMutex-PT-02.xes.disc.pnml DatabaseWithMutex-PT-02.xes DatabaseWithMutex-PT-02.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 32 net.transitions : 32 place.post size min/max/avg : 1, 2, 1.12 place.pre size min/max/avg : 1, 4, 1.28 trans.post size min/max/avg : 1, 4, 1.28 trans.pre size min/max/avg : 1, 2, 1.12 Independence ratios =================== pod: cmp-indep: net1 is 'DatabaseWithMutex-PT-02.pnml' pod: cmp-indep: net2 is 'DatabaseWithMutex-PT-02.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 148 / 876 pairs pod: cmp-indep: net2: dep / indep = 144 / 880 pairs pod: cmp-indep: inters. of indep. rels. : 860 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.98 pod: cmp-indep: ratios: indep2 in indep1: 0.98 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'Peterson-PT-2.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=51 --output=Peterson-PT-2.xes.disc.pnml Peterson-PT-2.xes Peterson-PT-2.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 51 net.transitions : 92 place.post size min/max/avg : 1, 16, 1.92 place.pre size min/max/avg : 1, 33, 2.94 trans.post size min/max/avg : 0, 5, 1.63 trans.pre size min/max/avg : 1, 2, 1.07 Independence ratios =================== pod: cmp-indep: net1 is 'Peterson-PT-2.pnml' pod: cmp-indep: net2 is 'Peterson-PT-2.xes.disc.pnml' pod: cmp-indep: WARNING: net1 - net2: [u'EndLoop_0_1', u'ContinueLoop_1_2_1', u'Identity_2_0', u'Identity_2_1', u'ContinueLoop_1_1_1', u'UpdateTurn_2_2_1', u'UpdateTurn_2_2_0', u'Identity_1_1', u'Alone1_0_1_1', u'NoIdentity_0_2_1', u'EndLoop_0_0', u'Loop_2_1_1', u'Alone1_1_2_0', u'Alone1_1_2_1', u'EndLoop_1_1', u'EndLoop_1_0', u'ContinueLoop_0_2_1', u'Alone1_2_1_0', u'NotAlone_2_1_1', u'Loop_2_1_0', u'EndLoop_2_0', u'EndLoop_2_1', u'NoIdentity_1_2_1', u'Alone1_2_1_1', u'ContinueLoop_2_2_0', u'ContinueLoop_2_2_1', u'UpdateTurn_1_1_1', u'UpdateTurn_1_1_0', u'NotAlone_0_2_1', u'Loop_1_1_1', u'Loop_0_1_1', u'NotAlone_1_2_1', u'Alone1_0_2_1', u'Alone1_0_2_0'] pod: cmp-indep: net1: dep / indep = 1038 / 14838 pairs pod: cmp-indep: net2: dep / indep = 1916 / 6548 pairs pod: cmp-indep: inters. of indep. rels. : 6544 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.44 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'a22.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=19 --output=a22.xes.disc.pnml a22.xes a22.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 19 net.transitions : 22 place.post size min/max/avg : 1, 3, 1.32 place.pre size min/max/avg : 0, 3, 1.37 trans.post size min/max/avg : 0, 2, 1.18 trans.pre size min/max/avg : 1, 3, 1.14 Independence ratios =================== pod: cmp-indep: net1 is 'a22.pnml' pod: cmp-indep: net2 is 'a22.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 102 / 382 pairs pod: cmp-indep: net2: dep / indep = 104 / 380 pairs pod: cmp-indep: inters. of indep. rels. : 380 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.99 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'a32.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=32 --output=a32.xes.disc.pnml a32.xes a32.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 32 net.transitions : 32 place.post size min/max/avg : 1, 3, 1.19 place.pre size min/max/avg : 0, 3, 1.28 trans.post size min/max/avg : 0, 2, 1.28 trans.pre size min/max/avg : 1, 3, 1.19 Independence ratios =================== pod: cmp-indep: net1 is 'a32.pnml' pod: cmp-indep: net2 is 'a32.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 138 / 886 pairs pod: cmp-indep: net2: dep / indep = 138 / 886 pairs pod: cmp-indep: inters. of indep. rels. : 886 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 1.00 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'a42.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=40 --output=a42.xes.disc.pnml a42.xes a42.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 40 net.transitions : 42 place.post size min/max/avg : 1, 6, 1.25 place.pre size min/max/avg : 0, 11, 1.70 trans.post size min/max/avg : 0, 4, 1.62 trans.pre size min/max/avg : 1, 3, 1.19 Independence ratios =================== pod: cmp-indep: net1 is 'a42.pnml' pod: cmp-indep: net2 is 'a42.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 196 / 1568 pairs pod: cmp-indep: net2: dep / indep = 258 / 1506 pairs pod: cmp-indep: inters. of indep. rels. : 1506 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.96 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'complex.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=12 --output=complex.xes.disc.pnml complex.xes complex.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 12 net.transitions : 19 place.post size min/max/avg : 1, 3, 1.67 place.pre size min/max/avg : 0, 3, 1.92 trans.post size min/max/avg : 0, 2, 1.21 trans.pre size min/max/avg : 1, 2, 1.05 Independence ratios =================== pod: cmp-indep: net1 is 'complex.pnml' pod: cmp-indep: net2 is 'complex.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 95 / 266 pairs pod: cmp-indep: net2: dep / indep = 99 / 262 pairs pod: cmp-indep: inters. of indep. rels. : 262 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.98 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'confDimBlocking.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=10 --output=confDimBlocking.xes.disc.pnml confDimBlocking.xes confDimBlocking.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 10 net.transitions : 11 place.post size min/max/avg : 1, 2, 1.20 place.pre size min/max/avg : 0, 2, 1.10 trans.post size min/max/avg : 0, 2, 1.00 trans.pre size min/max/avg : 1, 2, 1.09 Independence ratios =================== pod: cmp-indep: net1 is 'confDimBlocking.pnml' pod: cmp-indep: net2 is 'confDimBlocking.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 43 / 78 pairs pod: cmp-indep: net2: dep / indep = 43 / 78 pairs pod: cmp-indep: inters. of indep. rels. : 78 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 1.00 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'cycles5_2.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=16 --output=cycles5_2.xes.disc.pnml cycles5_2.xes cycles5_2.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 16 net.transitions : 20 place.post size min/max/avg : 1, 5, 1.25 place.pre size min/max/avg : 1, 5, 1.25 trans.post size min/max/avg : 1, 1, 1.00 trans.pre size min/max/avg : 1, 1, 1.00 Independence ratios =================== pod: cmp-indep: net1 is 'cycles5_2.pnml' pod: cmp-indep: net2 is 'cycles5_2.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 118 / 282 pairs pod: cmp-indep: net2: dep / indep = 118 / 282 pairs pod: cmp-indep: inters. of indep. rels. : 282 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 1.00 pod: cmp-indep: ratios: indep2 in indep1: 1.00 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 'dc.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=27 --output=dc.xes.disc.pnml dc.xes dc.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 27 net.transitions : 32 place.post size min/max/avg : 1, 4, 1.26 place.pre size min/max/avg : 1, 3, 1.44 trans.post size min/max/avg : 0, 3, 1.22 trans.pre size min/max/avg : 1, 2, 1.06 Independence ratios =================== pod: cmp-indep: net1 is 'dc.pnml' pod: cmp-indep: net2 is 'dc.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 134 / 890 pairs pod: cmp-indep: net2: dep / indep = 140 / 884 pairs pod: cmp-indep: inters. of indep. rels. : 878 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 0.99 pod: cmp-indep: ratios: indep2 in indep1: 0.99 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Processing 't32.xes' + ../../src/pod.py discover --no-ass --eq=sp-smt --smt-timeout=40 --smt-min=31 --output=t32.xes.disc.pnml t32.xes t32.dep + EXITSTAT=0 + set +x Statistics of the discovered net ================================ net.places : 31 net.transitions : 33 place.post size min/max/avg : 1, 2, 1.19 place.pre size min/max/avg : 0, 2, 1.19 trans.post size min/max/avg : 0, 2, 1.12 trans.pre size min/max/avg : 1, 3, 1.12 Independence ratios =================== pod: cmp-indep: net1 is 't32.pnml' pod: cmp-indep: net2 is 't32.xes.disc.pnml' pod: cmp-indep: net1: dep / indep = 135 / 954 pairs pod: cmp-indep: net2: dep / indep = 135 / 954 pairs pod: cmp-indep: inters. of indep. rels. : 954 pairs --------------------------------- pod: cmp-indep: ratios: indep1 in indep2: 1.00 pod: cmp-indep: ratios: indep2 in indep1: 1.00