 Yentl Van Tendeloo
|
7c8ab47990
Added basis for control_to_EPN (which is now just a copy of
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a549d34584
Made the PM compliant with the test file
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
97487af083
Added some additional manual transformations
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
fba3b401f2
Split of the powerwindow case as a separate test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
42d24ff1fa
Updated tests with new PM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2d34f80c2c
Add network metamodel
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f5a15f47ad
Add query metamodel
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
27a0c50f3f
Added requirements model
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
b60e6a8f95
Added requirements MM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
4d4f3e9cb9
Added PM of the Power Window
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
b22e789a1f
Changed MM and model
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d9cac21762
Added simplified Env_to_PN algorithm (in AL)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f18db38b71
Test passes
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
799e34e55a
Various fixes to plant2EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
07cacac394
Basis of PowerWindow test added
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
301fc86333
Updated structure
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2f369610fd
Add missing file
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
619b464a42
Finished R_sensor as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
417a148140
Finished no_sensor rule of PW_to_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
35dbdf7fe1
First iteration of plant_to_EPN (no P2T and T2P links yet)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
01b8785177
Fixed Permissions SimpleAttribute: added better constraint
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e273c5b27e
Update PM metamodel
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d6ed31e1b8
Revert "Removed non-deterministic test"
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
950638fdd9
Removed non-deterministic test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
13e63f5c85
Fixed reachability computation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1c2eb18c90
Test passes!
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
c6aec5c717
Print the name of the generated state as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
320ffd3b32
Fix reachability graph construction and printing
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e3e6957232
Fixes to reachability algorithm
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
%!s(int64=8) %!d(string=hai) anos |
