| .. |
|
cbd
|
5240c7e21a
Add petrinet language
|
před 8 měsíci |
|
conformance
|
5240c7e21a
Add petrinet language
|
před 8 měsíci |
|
model_transformation
|
283cfa7801
enhance petri net renderer
|
před 8 měsíci |
|
performance
|
da5856b33b
Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...)
|
před 8 měsíci |
|
petrinet
|
6571d8556c
petri net formalism: add inhibitor arc
|
před 8 měsíci |
|
semantics
|
54845b2a4a
forgot to include WorkerSet in Port-model
|
před 8 měsíci |
|
woods
|
42757ddc4f
add examples
|
před 9 měsíci |
Joeri Exelmans
da5856b33b
Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...)