public interface DPNState extends ModelState, MarkingAwareModelState
DataState
getDataState()
getMarking
DataState getDataState()