Always active guards to urgent transitions are misinterpreted

ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

0 stars 0 forks source link

Always active guards to urgent transitions are misinterpreted #44

Closed lgeretti closed 7 years ago

lgeretti commented 7 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

"True" guards to urgent transitions should allow the immediate transition as soon as the source location is reached. However, they are treated as "crossed" guards and therefore the event is discarded.

Bitbucket: https://bitbucket.org/ariadne-cps/release-1.0/issue/44

lgeretti commented 7 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Resolved issue #44