
State-transition systems model machines, programs, and speci?cations 20, 23,284,329], butalsothegrowthanddeclineofantpopulations, ?nancial markets, diseases and crystals 22, 35, 178, 209, 279]. In the last decade, thegrowinguseofdigitalcontrollersinvariousenvironmentshasentailed...

State-transition systems model machines, programs, and speci?cations 20, 23,284,329], butalsothegrowthanddeclineofantpopulations, ?nancial markets, diseases and crystals 22, 35, 178, 209, 279]. In the last decade, thegrowinguseofdigitalcontrollersinvariousenvironmentshasentailed...