arXiv:2003.14204 [eess.SY]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords novel semi-structural approach, bounded petri nets, nonblockingness, minimax basis reachability graph, verification Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset