<Generator> Union(fa_ln_sen_various_sensors,Project(fa_ln_sen_various_sensors)) <Alphabet> SNS1 SNS2 ACT F </Alphabet> <States> S1 S2 S3 S4 </States> <TransRel> S1 ACT S2 S2 SNS1 S3 S2 F S4 S3 SNS2 S1 S3 F S4 S4 ACT S4 </TransRel> <InitStates> S1 </InitStates> <MarkedStates> S1 S4 </MarkedStates> </Generator>
libFAUDES 2.28c --- 2016.09.30 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"