Soundness-preserving reduction rules for reset workflow nets

Autoria(s): Wynn, Moe; Verbeek, Eric; van der Aalst, Wil; ter Hofstede, Arthur; Edmond, David
Data(s)

2009
Identificador

http://eprints.qut.edu.au/43279/
Publicador

Elsevier Inc.
Relação

DOI:10.1016/j.ins.2008.10.033

Wynn, Moe, Verbeek, Eric, van der Aalst, Wil, ter Hofstede, Arthur, & Edmond, David (2009) Soundness-preserving reduction rules for reset workflow nets. Information Sciences, 179(6), pp. 769-790.
Fonte

Faculty of Science and Technology; School of Information Systems
Palavras-Chave #080600 INFORMATION SYSTEMS #080699 Information Systems not elsewhere classified #080700 LIBRARY AND INFORMATION STUDIES #Reset Nets, Reduction Rules, Workflow Verification, Soundness
Tipo

Journal Article
Acesso ao item digital