Petri net based model checking for the collaborative-ness of multiple processes systems | IEEE Conference Publication | IEEE Xplore