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