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