openprocess 0.7.0__py3-none-any.whl

openprocess/exercises/1 Petri nets/Exercise 1.1 Order handling/answer.pnml

@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>answer</text></name>
+    <page id="page1">
+      <place id="start"><name><text>start</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="40.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="end"><name><text>end</text></name><graphics><position x="600.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p1"><name><text>p1</text></name><graphics><position x="200.0" y="100.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p2"><name><text>p2</text></name><graphics><position x="200.0" y="220.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p3"><name><text>p3</text></name><graphics><position x="400.0" y="100.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p4"><name><text>p4</text></name><graphics><position x="400.0" y="220.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="t_receive"><name><text>receive</text></name><graphics><position x="120.0" y="160.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_pay"><name><text>pay</text></name><graphics><position x="300.0" y="100.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_ship"><name><text>ship</text></name><graphics><position x="300.0" y="220.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_close"><name><text>close</text></name><graphics><position x="500.0" y="160.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="start" target="t_receive"></arc>
+      <arc id="arc2" source="t_receive" target="p1"></arc>
+      <arc id="arc3" source="t_receive" target="p2"></arc>
+      <arc id="arc4" source="p1" target="t_pay"></arc>
+      <arc id="arc5" source="p2" target="t_ship"></arc>
+      <arc id="arc6" source="t_pay" target="p3"></arc>
+      <arc id="arc7" source="t_ship" target="p4"></arc>
+      <arc id="arc8" source="p3" target="t_close"></arc>
+      <arc id="arc9" source="p4" target="t_close"></arc>
+      <arc id="arc10" source="t_close" target="end"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="end"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>

openprocess/exercises/1 Petri nets/Exercise 1.1 Order handling/question.md

@@ -0,0 +1,38 @@
+# Exercise 1.1 — Order handling
+
+A web shop handles each order as follows.
+
+1. The order is received (**receive**).
+2. Then the order is paid (**pay**) and shipped (**ship**). The shop does not
+   wait for one before starting the other: either order, and both at the same
+   time, are possible.
+3. When both are done, the order is closed (**close**).
+
+**a.** Which construct models step 2?
+
+```answer
+type: choice
+- [ ] an XOR-split: after *receive*, either *pay* or *ship*
+- [x] an AND-split after *receive* and an AND-join before *close*
+- [ ] a loop around *pay* and *ship*
+hint: Both *pay* and *ship* have to happen, in either order.
+solution: An AND-split: *receive* puts a token in a place before *pay* **and**
+  in one before *ship*. *close* waits for both (an AND-join), so they can
+  happen in any order or at the same time.
+```
+
+**b.** Draw a **WF-net** for the process in the editor on the right. Use
+exactly the transition labels in bold, and make sure your net is **sound**.
+The net starts with one token in its source place $i$ and should end with one
+token in its sink place $o$.
+
+```answer
+type: net
+answer: answer.pnml
+sound: yes
+hint: Start with a place i, then receive. After receive, two places — one
+  for each branch.
+```
+
+Check compares what your net *can do* with the model answer, not how it is
+drawn: your layout and place names do not matter.

openprocess/exercises/2 Soundness/Exercise 2.1 Spot the flaw/answer.pnml

@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>answer</text></name>
+    <page id="page1">
+      <place id="i"><name><text>i</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="40.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="o"><name><text>o</text></name><graphics><position x="680.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c1"><name><text>c1</text></name><graphics><position x="200.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c"><name><text>c</text></name><graphics><position x="400.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="t_register"><name><text>register</text></name><graphics><position x="120.0" y="160.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_send_letter"><name><text>send letter</text></name><graphics><position x="300.0" y="100.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_call_customer"><name><text>call customer</text></name><graphics><position x="300.0" y="220.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_archive"><name><text>archive</text></name><graphics><position x="520.0" y="160.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="i" target="t_register"></arc>
+      <arc id="arc2" source="t_register" target="c1"></arc>
+      <arc id="arc3" source="c1" target="t_send_letter"></arc>
+      <arc id="arc4" source="c1" target="t_call_customer"></arc>
+      <arc id="arc5" source="t_send_letter" target="c"></arc>
+      <arc id="arc6" source="t_call_customer" target="c"></arc>
+      <arc id="arc7" source="c" target="t_archive"></arc>
+      <arc id="arc8" source="t_archive" target="o"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="o"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>

openprocess/exercises/2 Soundness/Exercise 2.1 Spot the flaw/net.pnml

@@ -0,0 +1,29 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>net</text></name>
+    <page id="page1">
+      <place id="i"><name><text>i</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="40.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="o"><name><text>o</text></name><graphics><position x="680.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c1"><name><text>c1</text></name><graphics><position x="200.0" y="160.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c2"><name><text>c2</text></name><graphics><position x="400.0" y="100.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c3"><name><text>c3</text></name><graphics><position x="400.0" y="220.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="t_register"><name><text>register</text></name><graphics><position x="120.0" y="160.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_send_letter"><name><text>send letter</text></name><graphics><position x="300.0" y="100.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_call_customer"><name><text>call customer</text></name><graphics><position x="300.0" y="220.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="t_archive"><name><text>archive</text></name><graphics><position x="520.0" y="160.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="i" target="t_register"></arc>
+      <arc id="arc2" source="t_register" target="c1"></arc>
+      <arc id="arc3" source="c1" target="t_send_letter"></arc>
+      <arc id="arc4" source="c1" target="t_call_customer"></arc>
+      <arc id="arc5" source="t_send_letter" target="c2"></arc>
+      <arc id="arc6" source="t_call_customer" target="c3"></arc>
+      <arc id="arc7" source="c2" target="t_archive"></arc>
+      <arc id="arc8" source="c3" target="t_archive"></arc>
+      <arc id="arc9" source="t_archive" target="o"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="o"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>

openprocess/exercises/2 Soundness/Exercise 2.1 Spot the flaw/question.md

@@ -0,0 +1,65 @@
+# Exercise 2.1 — Spot the flaw
+
+The net on the right shows how an insurer handles a complaint: it is
+**register**ed, then the customer is contacted either by **send letter** or
+by **call customer**, and finally the complaint is **archive**d.
+
+**a.** Is the net a WF-net?
+
+```answer
+type: yesno
+compute: wf-net
+solution: Yes. It has one source place $i$, one sink place $o$, and every
+  node lies on a path from $i$ to $o$.
+```
+
+**b.** Is it **sound**?
+
+```answer
+type: yesno
+compute: sound
+```
+
+Which of the three conditions of soundness **fail**?
+
+```answer
+type: choice
+- [x] (i) option to complete
+- [ ] (ii) proper completion
+- [x] (iii) no dead transitions
+hint: Can *archive* ever fire? Its two input places are marked by two
+  different branches of a choice.
+solution: After *register*, *send letter* and *call customer* compete for
+  the token in $c_1$ (an XOR-split), but *archive* needs a token in **both**
+  $c_2$ and $c_3$ (an AND-join). So *archive* is dead and $[o]$ can never be
+  reached. Proper completion holds, because no marking ever puts a token in $o$.
+```
+
+**c.** Give a firing sequence that ends in a **deadlock**: a marking where
+nothing is enabled, though the case has not completed. Write the transitions
+separated by commas.
+
+```answer
+type: trace
+ends: deadlock
+hint: Start with register. What can happen after that, and what then?
+solution: ⟨register, send letter⟩ ends in $[c_2]$, where nothing is enabled;
+  ⟨register, call customer⟩ gets stuck in $[c_3]$ the same way.
+```
+
+**d.** Change the net so that it is sound and still models the description.
+Your changes are saved as *my answer.pnml*; the given net stays as it was.
+
+```answer
+type: net
+start: net.pnml
+answer: answer.pnml
+sound: yes
+hint: Make the join match the split.
+solution: Replace $c_2$ and $c_3$ by one place $c$ that both *send letter*
+  and *call customer* put a token in, and that *archive* takes from. (The
+  structural reason for the flaw: a PT-handle from $c_1$ to *archive*, so the
+  net is not well-structured.)
+```
+
+Results in the net's Analysis tab are hidden until you reveal them.

openprocess/exercises/3 Discovery/Exercise 3.1 The alpha-algorithm/log.txt

@@ -0,0 +1 @@
+[<a,b,c,e>^4, <a,c,b,e>, <a,d,e>^2]

openprocess/exercises/3 Discovery/Exercise 3.1 The alpha-algorithm/question.md

@@ -0,0 +1,67 @@
+# Exercise 3.1 — The α-algorithm
+
+Consider the event log (also open on the right)
+
+$$L = [\langle a,b,c,e \rangle^4, \langle a,c,b,e \rangle, \langle a,d,e \rangle^2]$$
+
+**a.** Fill in the footprint matrix of $L$. Click a cell to change it; each
+row is the first activity, each column the second.
+
+```answer
+type: footprint
+hint: a → b when b directly follows a somewhere but never the other way
+  round; ‖ when both happen; # when neither does.
+```
+
+**b.** Apply the α-algorithm. Give $T_L$, $T_I$ and $T_O$.
+
+$T_L$ (all activities):
+
+```answer
+type: set
+compute: alpha.T_L
+```
+
+$T_I$ (start activities):
+
+```answer
+type: set
+compute: alpha.T_I
+```
+
+$T_O$ (end activities):
+
+```answer
+type: set
+compute: alpha.T_O
+```
+
+$Y_L$, the maximal pairs $(A, B)$. Write each pair as `({a}, {b,d})`,
+separated by commas.
+
+```answer
+type: set
+compute: alpha.Y_L
+hint: Start from X_L: pairs (A, B) with a → b for every a in A and b in B,
+  and A and B each internally #. Then keep only the pairs that are not
+  contained in a bigger one.
+```
+
+**c.** Draw the discovered net $\alpha(L)$ in the editor on the right: the
+places $i_L$, $o_L$ and one place per pair in $Y_L$.
+
+```answer
+type: net
+answer: alpha
+hint: b and c are in parallel, and d is an alternative to both.
+```
+
+Can $\alpha(L)$ replay every trace of $L$?
+
+```answer
+type: yesno
+answer: yes
+solution: Yes: the net is sound and every trace of L fits (fitness 1).
+```
+
+The log's Footprint tab and the Discover tab are hidden until you reveal them.

openprocess/exercises/4 Regions/Exercise 4.1 Regions of a transition system/question.md

@@ -0,0 +1,75 @@
+# Exercise 4.1 — Regions of a transition system
+
+The transition system (open on the right) has the transitions
+
+$s_0 \xrightarrow{a} s_1$, $s_0 \xrightarrow{b} s_2$, $s_1 \xrightarrow{b} s_3$,
+$s_2 \xrightarrow{a} s_3$, $s_3 \xrightarrow{c} s_4$, $s_3 \xrightarrow{d} s_5$,
+$s_4 \xrightarrow{e} s_6$, $s_5 \xrightarrow{e} s_6$, with initial state $s_0$.
+
+**a.** Is $\{s_1, s_3\}$ a region?
+
+```answer
+type: yesno
+compute: region({s1, s3})
+solution: Yes: a enters it (both a-steps), c and d exit it, b and e do not
+  cross it.
+```
+
+Is $\{s_3, s_4\}$ a region?
+
+```answer
+type: yesno
+compute: region({s3, s4})
+solution: No: $s_0 \xrightarrow{a} s_1$ stays outside, but
+  $s_2 \xrightarrow{a} s_3$ enters.
+```
+
+**b.** Give the minimal pre-regions of $c$, as sets of states separated by
+commas, e.g. `{s0, s1}, {s0, s2}`.
+
+```answer
+type: set
+compute: pre-regions(c)
+hint: A pre-region of c is a region that c exits.
+```
+
+And the minimal pre-regions of $e$:
+
+```answer
+type: set
+compute: pre-regions(e)
+```
+
+**c.** Does **forward closure** hold?
+
+```answer
+type: yesno
+compute: forward closure
+solution: Yes: for every event the pre-regions meet exactly in its GER.
+```
+
+Does **state separation** hold?
+
+```answer
+type: yesno
+compute: state separation
+solution: No: $s_4$ and $s_5$ cannot be separated, because
+  $s_4 \xrightarrow{e} s_6$ and $s_5 \xrightarrow{e} s_6$ would cross a region
+  containing only one of them differently.
+```
+
+**d.** Synthesise the Petri net from the minimal regions. Does its
+reachability graph equal (is it isomorphic to) the transition system?
+
+```answer
+type: yesno
+answer: no
+solution: No. The six minimal regions become places; a and b are concurrent,
+  c and d are a choice, and both lead to the same place {s4, s5}. The
+  reachability graph has one state for $s_4$ and $s_5$ together. Splitting
+  the label e (into e1 after c and e2 after d) would make the system
+  elementary.
+```
+
+Use *Is this a region?* on the right to test your own sets of states; the
+region lists and verdicts are hidden until you reveal them.

openprocess/exercises/4 Regions/Exercise 4.1 Regions of a transition system/ts.txt

@@ -0,0 +1,5 @@
+s0 -a-> s1, s0 -b-> s2
+s1 -b-> s3, s2 -a-> s3
+s3 -c-> s4, s3 -d-> s5
+s4 -e-> s6, s5 -e-> s6
+initial: s0

openprocess/exercises/5 Markings/Exercise 5.1 Markings and matrices/net.pnml

@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>Complaints</text></name>
+    <page id="page1">
+      <place id="i"><name><text>i</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="0.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c1"><name><text>c1</text></name><graphics><position x="240.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="c2"><name><text>c2</text></name><graphics><position x="480.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="o"><name><text>o</text></name><graphics><position x="720.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="register"><name><text>register</text></name><graphics><position x="120.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="send letter"><name><text>send letter</text></name><graphics><position x="360.0" y="0.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="call customer"><name><text>call customer</text></name><graphics><position x="360.0" y="180.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="archive"><name><text>archive</text></name><graphics><position x="600.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="i" target="register"></arc>
+      <arc id="arc2" source="register" target="c1"></arc>
+      <arc id="arc3" source="c1" target="send letter"></arc>
+      <arc id="arc4" source="c1" target="call customer"></arc>
+      <arc id="arc5" source="send letter" target="c2"></arc>
+      <arc id="arc6" source="call customer" target="c2"></arc>
+      <arc id="arc7" source="c2" target="archive"></arc>
+      <arc id="arc8" source="archive" target="o"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="o"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>

openprocess/exercises/5 Markings/Exercise 5.1 Markings and matrices/question.md

@@ -0,0 +1,65 @@
+# Exercise 5.1 — Markings and matrices
+
+The net on the right is the repaired complaint-handling net of Exercise 2.1:
+a complaint is **register**ed, the customer is contacted by **send letter**
+*or* **call customer**, and the complaint is **archive**d.
+
+**a.** Write the net down as a tuple $(P, T, F, m_0)$: its places, its
+transitions, its arcs as pairs, and its initial marking. (4 points)
+
+```answer
+type: tuple
+points: 4
+hint: An arc from a place to a transition is the pair (place, transition);
+  from a transition to a place it is (transition, place).
+```
+
+**b.** Which marking is reached by firing *register* in $[i]$?
+
+```answer
+type: marking
+compute: fire(register, [i])
+hint: Firing removes a token from every input place and puts one in every
+  output place.
+```
+
+**c.** Give the set of **all reachable markings** of the net.
+
+```answer
+type: markings
+compute: reachable
+hint: Start from [i] and fire whatever is enabled, until nothing new appears.
+```
+
+**d.** Fill in the **incidence matrix** $C$: one row per place, one column per
+transition, and in each cell the tokens the transition *adds* to the place
+(produced minus consumed). (2 points)
+
+```answer
+type: matrix
+compute: incidence
+points: 2
+hint: register takes the token from i (−1) and puts one in c1 (+1); every
+  other cell of its column is 0.
+```
+
+**e.** Write down the **reachability graph** as a transition system: one line
+per arc, `[i] -register-> [c1]`, and a line `initial: [i]`. Any state names
+will do, as long as the shape is the same.
+
+```answer
+type: ts
+compute: reachability graph
+hint: Its states are the markings of c.; its arcs are the firings between
+  them.
+```
+
+**f.** Is the net **safe** (never more than one token in a place)?
+
+```answer
+type: yesno
+compute: safe
+solution: Yes: every reachable marking of c. has exactly one token.
+```
+
+Everything in the net's Analysis tab is hidden until you reveal it.

openprocess/exercises/6 Inductive Miner/Exercise 6.1 Cuts and trees/log.txt

@@ -0,0 +1 @@
+[<a,b,c,d>^3, <a,c,b,d>^2, <a,e,d>]

openprocess/exercises/6 Inductive Miner/Exercise 6.1 Cuts and trees/question.md

@@ -0,0 +1,62 @@
+# Exercise 6.1 — Cuts and trees
+
+Consider the event log (also open on the right)
+
+$$L = [\langle a,b,c,d \rangle^3, \langle a,c,b,d \rangle^2, \langle a,e,d \rangle]$$
+
+The **Inductive Miner** looks at the directly-follows graph of a log, finds a
+*cut* (an operator and a partition of the activities), splits the log
+accordingly, and goes on with each part until a part has one activity.
+
+**a.** Which cut does the Inductive Miner find first for $L$? Write the
+operator, then the groups in order: `→ {a} {b, c} {d}`.
+
+```answer
+type: cut
+compute: im.cut
+hint: Is there an activity every trace starts with, and one every trace ends
+  with? Then a sequence cut separates them from the middle.
+```
+
+**b.** Give the sublog of the **second** group of that cut (the middle part),
+in the course's notation.
+
+```answer
+type: log
+compute: im.split(2)
+hint: Project every trace on the group's activities; keep the counts.
+```
+
+**c.** Which cut does the Inductive Miner find for that sublog?
+
+```answer
+type: cut
+compute: im.cut(2)
+hint: In the sublog, do b and c ever occur in the same trace as e?
+```
+
+**d.** Write down the complete **process tree** the Inductive Miner
+discovers, as `→(a, ×(b, c), d)` (operators →, ×, ∧, ↺; or seq, xor, and,
+loop). (2 points)
+
+```answer
+type: tree
+compute: im.tree
+points: 2
+hint: Continue cutting: b and c in the sublog are in parallel.
+```
+
+**e.** Before running it: which **transitions** will the α-algorithm's net for
+$L$ have? Then run the α-algorithm box in a workflow (File ▸ New Workflow)
+and compare.
+
+```answer
+type: predict
+box: alpha_miner
+value: net.transitions
+as: set
+solution: One transition per activity: {a, b, c, d, e}. The α-algorithm never
+  adds silent transitions; the Inductive Miner's net may.
+```
+
+The log's Discover tab is hidden until you reveal it.

openprocess/exercises/7 Conformance/Exercise 7.1 Replay, alignments and workflows/log.txt

@@ -0,0 +1 @@
+[<a,b,c,d>^3, <a,c,b,d>^2, <a,e,d>]

openprocess/exercises/7 Conformance/Exercise 7.1 Replay, alignments and workflows/m1.pnml

@@ -0,0 +1,36 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>m1</text></name>
+    <page id="page1">
+      <place id="i"><name><text>i</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="0.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p1"><name><text>p1</text></name><graphics><position x="240.0" y="0.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p2"><name><text>p2</text></name><graphics><position x="240.0" y="180.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p3"><name><text>p3</text></name><graphics><position x="480.0" y="0.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p4"><name><text>p4</text></name><graphics><position x="480.0" y="180.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="o"><name><text>o</text></name><graphics><position x="720.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="a"><name><text>a</text></name><graphics><position x="120.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="b"><name><text>b</text></name><graphics><position x="360.0" y="0.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="c"><name><text>c</text></name><graphics><position x="360.0" y="180.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="d"><name><text>d</text></name><graphics><position x="600.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="e"><name><text>e</text></name><graphics><position x="360.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="i" target="a"></arc>
+      <arc id="arc2" source="a" target="p1"></arc>
+      <arc id="arc3" source="a" target="p2"></arc>
+      <arc id="arc4" source="p1" target="b"></arc>
+      <arc id="arc5" source="p2" target="c"></arc>
+      <arc id="arc6" source="b" target="p3"></arc>
+      <arc id="arc7" source="c" target="p4"></arc>
+      <arc id="arc8" source="p3" target="d"></arc>
+      <arc id="arc9" source="p4" target="d"></arc>
+      <arc id="arc10" source="d" target="o"></arc>
+      <arc id="arc11" source="p1" target="e"></arc>
+      <arc id="arc12" source="p2" target="e"></arc>
+      <arc id="arc13" source="e" target="p3"></arc>
+      <arc id="arc14" source="e" target="p4"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="o"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>

openprocess/exercises/7 Conformance/Exercise 7.1 Replay, alignments and workflows/m2.pnml

@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>m2</text></name>
+    <page id="page1">
+      <place id="i"><name><text>i</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="0.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p1"><name><text>p1</text></name><graphics><position x="240.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p2"><name><text>p2</text></name><graphics><position x="480.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p3"><name><text>p3</text></name><graphics><position x="720.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="o"><name><text>o</text></name><graphics><position x="960.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="a"><name><text>a</text></name><graphics><position x="120.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="b"><name><text>b</text></name><graphics><position x="360.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="c"><name><text>c</text></name><graphics><position x="600.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="d"><name><text>d</text></name><graphics><position x="840.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="i" target="a"></arc>
+      <arc id="arc2" source="a" target="p1"></arc>
+      <arc id="arc3" source="p1" target="b"></arc>
+      <arc id="arc4" source="b" target="p2"></arc>
+      <arc id="arc5" source="p2" target="c"></arc>
+      <arc id="arc6" source="c" target="p3"></arc>
+      <arc id="arc7" source="p3" target="d"></arc>
+      <arc id="arc8" source="d" target="o"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="o"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>

openprocess/exercises/7 Conformance/Exercise 7.1 Replay, alignments and workflows/m3.pnml

@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml>
+  <net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
+    <name><text>m3</text></name>
+    <page id="page1">
+      <place id="i"><name><text>i</text></name><initialMarking><text>1</text></initialMarking><graphics><position x="0.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p1"><name><text>p1</text></name><graphics><position x="240.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="p2"><name><text>p2</text></name><graphics><position x="480.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <place id="o"><name><text>o</text></name><graphics><position x="720.0" y="90.0"/><dimension x="40" y="40"/></graphics></place>
+      <transition id="a"><name><text>a</text></name><graphics><position x="120.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="b"><name><text>b</text></name><graphics><position x="360.0" y="0.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="c"><name><text>c</text></name><graphics><position x="360.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="d"><name><text>d</text></name><graphics><position x="600.0" y="90.0"/><dimension x="40" y="40"/></graphics></transition>
+      <transition id="e"><name><text>e</text></name><graphics><position x="360.0" y="180.0"/><dimension x="40" y="40"/></graphics></transition>
+      <arc id="arc1" source="i" target="a"></arc>
+      <arc id="arc2" source="a" target="p1"></arc>
+      <arc id="arc3" source="p1" target="b"></arc>
+      <arc id="arc4" source="b" target="p2"></arc>
+      <arc id="arc5" source="p1" target="c"></arc>
+      <arc id="arc6" source="c" target="p2"></arc>
+      <arc id="arc7" source="p1" target="e"></arc>
+      <arc id="arc8" source="e" target="p2"></arc>
+      <arc id="arc9" source="p2" target="d"></arc>
+      <arc id="arc10" source="d" target="o"></arc>
+    </page>
+    <finalmarkings><marking>
+      <place idref="o"><text>1</text></place>
+    </marking></finalmarkings>
+  </net>
+</pnml>