| .. |
|
cbd
|
5240c7e21a
Add petrinet language
|
пре 1 година |
|
conformance
|
5240c7e21a
Add petrinet language
|
пре 1 година |
|
model_transformation
|
283cfa7801
enhance petri net renderer
|
пре 1 година |
|
performance
|
da5856b33b
Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...)
|
пре 1 година |
|
petrinet
|
bd1588d809
forgot to remove debug output
|
пре 1 година |
|
semantics
|
3ddfc96532
add renderer for Port + Petri Net + traceability
|
пре 1 година |
|
woods
|
42757ddc4f
add examples
|
пре 1 година |
Joeri Exelmans
bd1588d809
forgot to remove debug output