arXiv:2103.02475 [eess.SY]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords basis reachability graph, bounded petri nets, non-blockingness verification, conflict-increase brg contains sufficient information, corresponding conflict-increase brg contains sufficient Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset