Inscriere cercetatori

The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets