constructs the full coverability graph for a given marked net . if a partial state space shall be constructed only , use #build petrinet , int instead . remembers the start state that is , the marking of the given net in the statespace #initialstate initialstate attribute . concode_field_sep PlaceHolder placeHolder concode_field_sep int getAvailableMemory concode_elem_sep HashSet findMaximalStates
StateSpace function ( PetriNet arg0 ) { return CoverabilityGraphBuilder . build ( arg0 , - 1 ) ; }