Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Prinz, Thomas M., Schwanen, Christopher T., van der Aalst, Wil M. P.
Format:	Preprint
Published:	2026
Subjects:	Formal Languages and Automata Theory Data Structures and Algorithms
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2602.02447