 tpinna
|
334f3df640
fixed previously semantically incorrect LHS and NAC combiner
|
преди 10 години |
|
tpinna
|
cb8a6e724f
cleaned logs and added performance data for analysis
|
преди 10 години |
|
tpinna
|
f8bf670970
implemented a timeprimitive for the modelverse
|
преди 10 години |
|
tpinna
|
1ad06c3e74
fixed some todos
|
преди 10 години |
|
tpinna
|
e1d735572d
further small improvements
|
преди 10 години |
|
tpinna
|
2eb2601820
slightly improved performance of are_connected by requiring 2 less variables and avoiding string comparison
|
преди 10 години |
|
tpinna
|
d94d91d947
finished petrinet simulation by introducing succes/failure of matches, and by finsihing the loop in the rule ordering
|
преди 10 години |
|
tpinna
|
78cfcc6eaa
implemented arule semantics
|
преди 10 години |
|
tpinna
|
d9749d524a
implemented random number generation
|
преди 10 години |
|
tpinna
|
d55f5ba17c
implemented basic rule ordering
|
преди 10 години |
|
tpinna
|
c3a75bbd36
updated petrinet transformation model for including scheduling
|
преди 10 години |
|
tpinna
|
e328d0b087
small change in metamodel
|
преди 10 години |
|
tpinna
|
58039c77d5
refactoring: put rewrite in a separate function
|
преди 10 години |
|
tpinna
|
7f8cd343f7
refactoring: put matchmerge (nac and lhs) in a separate function, put pivot extraction in a separate function
|
преди 10 години |
|
tpinna
|
a8386983f1
adapted transformation metamodel with a significantly reduced subset of motif
|
преди 10 години |
|
tpinna
|
ca01698ea7
finished petrinetfire
|
преди 10 години |
|
tpinna
|
74154dd970
fixed bug in transformation metamodel
|
преди 10 години |
|
tpinna
|
c17a50a123
fixed bug do set_in not working properly for elements, as it uses the 'wrong' equality operator
|
преди 10 години |
|
tpinna
|
81647d0eff
fixed bug in petrinet transformation model
|
преди 10 години |
|
tpinna
|
03c40f9d30
untested rhs code
|
преди 10 години |
|
tpinna
|
962b29fa81
updated delete_node so that attributes are unset first
|
преди 10 години |
|
tpinna
|
32f1181f66
update transformation metamodel
|
преди 10 години |
|
tpinna
|
a51182fc2e
implemented pivotIn
|
преди 10 години |
|
tpinna
|
20d7726f5a
implemented pivotOut
|
преди 10 години |
|
tpinna
|
e73a0b67dd
adapted code so that multiple nacs are allowed
|
преди 10 години |
|
tpinna
|
4c19930e20
adapted code so that multiple nacs are allowed
|
преди 10 години |
|
tpinna
|
2ec7789bcf
combined lhs and nac to create set of final matches
|
преди 10 години |
|
tpinna
|
e1562ca6bd
added semantic constraints in matching
|
преди 10 години |
|
tpinna
|
6894ab8b5f
fixed a name in transformation model
|
преди 10 години |
|
tpinna
|
d90f6ba06c
manually tested is_connected method
|
преди 10 години |
