Verification of workflow nets

DOI10.1007/3-540-63139-9_48zbMath1510.68044WikidataQ57006217 ScholiaQ57006217MaRDI QIDQ6485727

Wil M. P. van der Aalst

Publication date: 9 December 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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) Theory of organizations, manpower planning in operations research (90B70)

This page was built for publication: Verification of workflow nets