 Yentl Van Tendeloo
|
b60e6a8f95
Added requirements MM
|
8 anni fa |
|
Yentl Van Tendeloo
|
4d4f3e9cb9
Added PM of the Power Window
|
8 anni fa |
|
Yentl Van Tendeloo
|
b22e789a1f
Changed MM and model
|
8 anni fa |
|
Yentl Van Tendeloo
|
d9cac21762
Added simplified Env_to_PN algorithm (in AL)
|
8 anni fa |
|
Yentl Van Tendeloo
|
f18db38b71
Test passes
|
8 anni fa |
|
Yentl Van Tendeloo
|
799e34e55a
Various fixes to plant2EPN
|
8 anni fa |
|
Yentl Van Tendeloo
|
07cacac394
Basis of PowerWindow test added
|
8 anni fa |
|
Yentl Van Tendeloo
|
301fc86333
Updated structure
|
8 anni fa |
|
Yentl Van Tendeloo
|
2f369610fd
Add missing file
|
8 anni fa |
|
Yentl Van Tendeloo
|
619b464a42
Finished R_sensor as well
|
8 anni fa |
|
Yentl Van Tendeloo
|
417a148140
Finished no_sensor rule of PW_to_EPN
|
8 anni fa |
|
Yentl Van Tendeloo
|
35dbdf7fe1
First iteration of plant_to_EPN (no P2T and T2P links yet)
|
8 anni fa |
|
Yentl Van Tendeloo
|
01b8785177
Fixed Permissions SimpleAttribute: added better constraint
|
8 anni fa |
|
Yentl Van Tendeloo
|
e273c5b27e
Update PM metamodel
|
8 anni fa |
|
Yentl Van Tendeloo
|
d6ed31e1b8
Revert "Removed non-deterministic test"
|
8 anni fa |
|
Yentl Van Tendeloo
|
950638fdd9
Removed non-deterministic test
|
8 anni fa |
|
Yentl Van Tendeloo
|
13e63f5c85
Fixed reachability computation
|
8 anni fa |
|
Yentl Van Tendeloo
|
1c2eb18c90
Test passes!
|
8 anni fa |
|
Yentl Van Tendeloo
|
c6aec5c717
Print the name of the generated state as well
|
8 anni fa |
|
Yentl Van Tendeloo
|
320ffd3b32
Fix reachability graph construction and printing
|
8 anni fa |
|
Yentl Van Tendeloo
|
e3e6957232
Fixes to reachability algorithm
|
8 anni fa |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
8 anni fa |
|
Yentl Van Tendeloo
|
703a4a8014
PM enactment seems to work (though reachability doesn't)
|
8 anni fa |
|
Yentl Van Tendeloo
|
1431c3825a
First enactment starts working
|
8 anni fa |
|
Yentl Van Tendeloo
|
bbcff78677
Fixes to PM enactment
|
8 anni fa |
|
Yentl Van Tendeloo
|
9fad558f16
Correctly invoke enact_PM
|
8 anni fa |
|
Yentl Van Tendeloo
|
ce12d2f5e9
Fixed process test (upload of process and all components works)
|
8 anni fa |
|
Yentl Van Tendeloo
|
00b48a6948
Fixes to make everything work
|
8 anni fa |
|
Yentl Van Tendeloo
|
348fe8d0d3
Added a test for PM execution (and reachability graph construction)
|
8 anni fa |
|
Yentl Van Tendeloo
|
83f9424d0e
Added simple PM for petri net construction and reachability analysis
|
8 anni fa |
