Generalised soundness of workflow nets is decidable

M. Voorhoeve, K.M. Hee, van, N. Sidorova

Research output: Book/ReportReportAcademic

269 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Generalised soundness of workflow nets is decidable'. Together they form a unique fingerprint.

Computer Science

Engineering