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

Input events acceptance influences the event source automaton #26

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

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

As it currently happens, if an automaton A1 fires an event E and an automaton A2 accepts that event in only a given location LE, the composed automaton accepts the event E only for a source location where A2 is in LE. This prevents the automaton A1 in the composition to evolve independently, by constraining it to fire the event only for a given location of A2.

lgeretti commented 8 years ago

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

Not relevant by now, will concentrate on the laser example