search

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

Dangling input events cause transitions to be always taken #24

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

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

If we evolve an automaton with input events, the corresponding unforced transitions are always taken, instead of being never taken. Since during composition we cannot force the resulting automaton to be closed, we should provide a warning and also provide the correct behaviour.