Soundness of Workflow Nets with Reset Arcs

DOI10.1007/978-3-642-04856-2_3zbMath1266.68140OpenAlexW2153546266WikidataQ57005560 ScholiaQ57005560MaRDI QIDQ3651240

K. M. van Hee, Wil M. P. van der Aalst, H. M. W. Verbeek, Marc Voorhoeve, Natalia Sidorova, Moe Thandar Wynn, Arthur H. M. ter Hofstede

Publication date: 9 December 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency III (Search for Journal in Brave)

Full work available at URL: https://eprints.qut.edu.au/40782/1/c40782.pdf

zbMATH Keywords

verificationPetri netsdecidabilitysoundnessreset netsworkflow nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Soundness of workflow nets: classification, decidability, and analysis

This page was built for publication: Soundness of Workflow Nets with Reset Arcs