Connectivity of workflow nets: The foundations of stepwise verification

From MaRDI portal
Publication:766173

DOI10.1007/s00236-011-0137-8zbMath1234.68305OpenAlexW2011512582MaRDI QIDQ766173

Matthias Weidlich, Mathias Weske, Artem Polyvyanyy

Publication date: 23 March 2012

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11343/224167




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Connectivity of workflow nets: The foundations of stepwise verification