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

11 lines
243 B
Text
Executable file

9
9 1 2 1 4 1 6 1 8 1 10 1 12 1 14 1 16 1 18
5 1 2 1 8 1 12 1 18 1 23
6 1 4 1 6 1 10 1 14 1 16 1 24
2 1 23 1 24
2 1 19 1 20
9 1 1 1 3 1 5 1 7 1 9 1 11 1 13 1 15 1 17
5 1 1 1 7 1 11 1 17 1 21
6 1 3 1 5 1 9 1 13 1 15 1 22
2 1 21 1 22
0