Soundness-preserving reduction rules for reset workflow nets
type: Item
instance of: scholarly article
title: Soundness-preserving reduction rules for reset workflow nets
zbMATH Open document ID: 1162.68488
author: H. M. W. Verbeek
author: W. M. P. van der Aalst
author: Arthur H. M. ter Hofstede
author: Moe Thandar Wynn
author: David Edmond
published in: Information Sciences
publication date: 2009-03-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5531324
zbMATH Keywords: reset nets
zbMATH Keywords: reduction rules
zbMATH Keywords: workflow verification
zbMATH Keywords: soundness
Wikidata QID: Q57005564
describes a project that uses: YAWL
MaRDI profile type: Publication
full work available at URL: j.ins.2008.10.033
OpenAlex ID: W2137594927
cites work: Q4953845
cites work: Lectures on Concurrency and Petri Nets
cites work: Q3773358
cites work: Free Choice Petri Nets
cites work: Q4219024
cites work: Q4938633
cites work: Monotonic extensions of Petri nets: forward and backward search revisited
cites work: Well-structured transition systems everywhere!
cites work: Applications and Theory of Petri Nets 2004
cites work: Reduction rules for time Petri nets
DBLP publication ID: journals/isci/WynnVAHE09
DOI: 10.1016/J.INS.2008.10.033
description: scientific article; zbMATH DE number 5531324