static PetriNetStructuralChecks<Flow,Node,Place,Transition>
STRUCTURAL_CHECKS
Copyright © 2017. All rights reserved.