A research on Petri net properties using transitive matrix | IEEE Conference Publication | IEEE Xplore