1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
<scxml datamodel="promela"> <!-- #promela-event-source: toggle.foo --> <datamodel> <data id="foo" expr="0" type="bit" /> </datamodel> <parallel id="main"> <state id="toggleFoo"> <transition event="toggle.foo"> <script>foo = !foo;</script> </transition> </state> </parallel> </scxml>