 Yentl Van Tendeloo
|
8f586f0b3d
Fix model_list from crashing on non-existing location
|
8 år sedan |
|
Yentl Van Tendeloo
|
da5fa20b1a
Add keywords for model transformations (broken)
|
8 år sedan |
|
Yentl Van Tendeloo
|
a3922711ad
Modify some leftover files
|
8 år sedan |
|
Yentl Van Tendeloo
|
2aeae868fb
Fix many tests
|
8 år sedan |
|
Yentl Van Tendeloo
|
4a794f550b
Fixed test_mvc.py tests
|
8 år sedan |
|
Yentl Van Tendeloo
|
cada57dcad
Some documentation on the MvC operations
|
8 år sedan |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
8 år sedan |
|
Yentl Van Tendeloo
|
83f9424d0e
Added simple PM for petri net construction and reachability analysis
|
8 år sedan |
