https://github.com/louismrose/ttc_pn2sc
Revision fe6d8695b2642c69da7bee52eef5734957bf25d0 authored by git@pietervangorp.com on 04 March 2013, 13:41:42 UTC, committed by git@pietervangorp.com on 04 March 2013, 13:41:42 UTC
As illustrated by testcases\images\*png, not all additional petri-nets can be reduced successfully. In summary, the following input models should be successfully reduced to statecharts: 1,2, 7, 8, 11 while the following canno be reduced completely: 3, 5, 6, 9, 10.
1 parent b6927a7
Tip revision: fe6d8695b2642c69da7bee52eef5734957bf25d0 authored by git@pietervangorp.com on 04 March 2013, 13:41:42 UTC
Additional testcases
Additional testcases
Tip revision: fe6d869
File | Mode | Size |
---|---|---|
description | ||
example_solution | ||
testcases | ||
.gitignore | -rw-r--r-- | 86 bytes |
README.md | -rw-r--r-- | 155 bytes |
Computing file changes ...