Grading and Calculation of Synchronic Distance in Petri Nets for Trustworthy Modeling and analyzing | IEEE Conference Publication | IEEE Xplore