Design patterns in Petri net system modeling | IEEE Conference Publication | IEEE Xplore