statemachine< or > obs1 {

@machine:
	state< initial > #init {
		transition {
		} --> neutre;
	}

	state neutre {
		transition trans_obs1{
			:> obs { input employee; } [ true ];
		} --> ok;
		transition trans_obs2{
			:> obs { output open; } #provided true;
		} --> erreur;
	}

	state ok {
		transition trans_obs3{
			:> obs { output open; } #provided true;
		} --> neutre;
		transition trans_obs4{
			guard (: local.local.idle schedule#in local.local);
        } --> neutre;
	}
	
	state erreur {
	}
}