TP-automates/BE_2020_2021/tests/sujet.sml

11 lines
202 B
Standard ML
Raw Normal View History

2023-06-21 17:58:18 +00:00
machine lamp {
event switchOn
event switchOff
region bulb {
state Off starts ends
state On
}
from bulb.Off to buld.On on switchOn
from buld.On to buld.Off on SwitchOff
}