Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

Cite this paper

@inproceedings{Ramezani2013IntervalSO, title={Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair}, author={Elham Ramezani and Natalia Sidorova and Christian St{\aa}hl}, booktitle={FSEN}, year={2013} }