Instantiating nets and their applications to workflow nets | IEEE Conference Publication | IEEE Xplore