@misc{indiciae2c410c4322b5, title = {Acyclic Petri and Workflow Nets with Resets}, author = {Dmitry Chistikov and Wojciech CzerwiƄski and Piotr Hofman and Filip Mazowiecki and Henry Sinclair-Banks}, year = {2023}, url = {https://arxiv.org/abs/2310.01992}, note = {Source identifier: 2310.01992} }