projet-genie-logiciel-systeme/runtime-EclipseXtext/fr.n7.petrinet.examples/enigme.ltl

5 lines
72 B
Plaintext
Raw Normal View History

op finished = Echec \/ Succes;
[] (finished => dead);
[] <> finished ;