Diabetes Monitoring Example Continued
The CGM can propagate the blood sugar measurements
to the environment:
cycle1: [guard1,1] Po -cgm< P1 =prop+ P2 >alert= P3
Another abstract machine can adapt to this environmental
input, i.e., react to the blood sugar measurements.
For example it may continuously monitor blood pressure and
set alert if blood pressure is too high.
cycle2: [guard2,2] Po +adapt= P4 -bloodpressure< P5 >alert= P6