Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix | IEEE Journals & Magazine | IEEE Xplore