plcgen: Uncontrollable event changing location may result in denial of service
In all our PLC code generators (including plcgen
discussed in #397 (closed) ), we completely ignore uncontrollable events.
If a user would write an automaton that participates both in controllable and uncontrollable events and the latter changes the location of the automaton, that automaton will not change location in the PLC implementation and thus doesn't allow any controllable event from any location other than the originating location of the taken uncontrollable event.
It is therefore likely that the service of the controlled system will partially or completely fail after that uncontrollable event.