A system that constantly adapts to the environment can be defined as follows:

cycle1: [guard1,1] P0 +adap= P1 -enum< P2 >elim- P3