Authors
Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders
Publication date
2011/6/20
Conference
2011 Eleventh International Conference on Application of Concurrency to System Design
Pages
3-12
Publisher
IEEE
Description
We present a method for hierarchically generating sound work flow nets by substitution of nets with multiple inputs and outputs. We show that our method is correct and generalizes the class of nets generated by other hierarchical approaches. We identify a notion of soundness that is preserved by such substitutions and correct a small omission in an earlier similar method.
Total citations
2014201520162017112
Scholar articles
J Sroka, P Chrzastowski-Wachtel, J Hidders - 2011 Eleventh International Conference on Application …, 2011
J Sroka, J Hidders - Information Systems, 2014