#
# file   : machine
#
# purpose: Description of a state machine
# 			"dccPidManagerEngine"
#
# date   : October 15, 2008
#
# Copyright (c) PSA
#

start        		Init
states       		Init,      	SearchPid,		DisplayFromPid,	ErrorState,	Exit
event(EVT_OK)	 	SearchPid, 	DisplayFromPid,	Exit,			Exit, 	   	NONE
event(EVT_KO) 		ErrorState, ErrorState,  	ErrorState,		Exit, 	   	NONE
event(NONE_EVT)     EXCEPTION, 	EXCEPTION,  	EXCEPTION,		EXCEPTION,  NONE
event(ERROR_EVT)	EXCEPTION, 	EXCEPTION,  	EXCEPTION,		EXCEPTION,  NONE