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