arXiv:1908.09604 [eess.SY]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords verification, basis reachability graph, bounded labeled petri nets, finite number, novel approach Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset