<?xml version="1.0" encoding="ASCII"?> | |
<lit_petriNets:Net xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:lit_petriNets="lit_petriNets"> | |
<places name="Start" dst="//@transitions.0"/> | |
<places name="Mid 1" src="//@transitions.0" dst="//@transitions.1"/> | |
<places name="Mid 2" src="//@transitions.0" dst="//@transitions.1"/> | |
<places name="End" src="//@transitions.1"/> | |
<transitions src="//@places.0" dst="//@places.1 //@places.2" name="Split"/> | |
<transitions src="//@places.1 //@places.2" dst="//@places.3" name="Join"/> | |
</lit_petriNets:Net> |