| .. |
|
cbd
|
5240c7e21a
Add petrinet language
|
8 月之前 |
|
conformance
|
35f74aed84
get rid of unnecessary link
|
2 周之前 |
|
ftg_pm_pt
|
d00b9c25db
Add 'simplified' version of the FTG+PM++ formalism with operational semantics
|
2 月之前 |
|
model_transformation
|
8fe7b0ea04
Commit some outstanding changes. Add TODO for cleanup.
|
6 月之前 |
|
performance
|
da5856b33b
Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...)
|
8 月之前 |
|
petrinet
|
9475b1fdc5
Merge remote-tracking branch 'origin/master' into development
|
2 月之前 |
|
schedule
|
8ee9fba4ea
petrinet example fixed
|
3 月之前 |
|
semantics
|
8fe7b0ea04
Commit some outstanding changes. Add TODO for cleanup.
|
6 月之前 |
|
woods
|
42757ddc4f
add examples
|
9 月之前 |
Joeri Exelmans
6b5931343d
Merge remote-tracking branch 'github/master' into development