 Yentl Van Tendeloo
|
da5fa20b1a
Add keywords for model transformations (broken)
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a3922711ad
Modify some leftover files
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
2aeae868fb
Fix many tests
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
4a794f550b
Fixed test_mvc.py tests
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
cada57dcad
Some documentation on the MvC operations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
83f9424d0e
Added simple PM for petri net construction and reachability analysis
|
il y a 8 ans |
