Basic idea is that a device has a number of logica...

# science

[altavir]

Basic idea is that a device has a number of logical states (simple ones or composite ones) and the state could be changed from outside, then logical state is set to indetermined state, physical state change is called and when it is changed, logical state is updated. If physical state changes itself, then the logical state is changed and the evenr is generated. So in the end we have two flows - incoming changes and outgoing changes.