Model composition by reusing Petri net based modules | IEEE Conference Publication | IEEE Xplore