Assertion: state machine | /r/CapableOf | represent object
Facets:
Source sentences:
text: An open loop state machine represents an object that may terminate before the system terminates, while a closed loop state machine diagram does not have a final state; if it is the case, then the object lives until the entire system terminates.