The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets | IEEE Journals & Magazine | IEEE Xplore