UniTO/anno3/vpc/consegne/3/dekker_WN.2-CTL model checking of Unfolding of CPN.solution/Unfolding of CPN.pba
2024-10-29 09:11:05 +01:00

6 lines
238 B
Text
Executable file

4
2 1 1 1 2
8 1 3 1 5 1 7 1 9 1 11 1 13 1 15 1 17
8 1 4 1 6 1 8 1 10 1 12 1 14 1 16 1 18
28 1 19 1 20 1 21 1 22 1 23 1 24 1 25 1 26 1 27 1 28 1 29 1 30 1 31 1 32 1 33 1 34 1 35 1 36 1 37 1 38 1 39 1 40 1 41 1 42 1 43 1 44 1 45 1 46
0