On generating ⁎-sound nets with substitution

作者：

Highlights：

• A method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs.

• A new notion of soundness which is better suited than ⁎-soundness for use with the presented type of generalized substitution.

• Proofs of correctness for the method and optimality for the notion of soundness.

摘要

Highlights•A method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs.•A new notion of soundness which is better suited than ⁎-soundness for use with the presented type of generalized substitution.•Proofs of correctness for the method and optimality for the notion of soundness.

论文关键词：

论文评审过程：Received 13 August 2012, Revised 1 October 2013, Accepted 3 October 2013, Available online 17 October 2013.

论文官网地址：https://doi.org/10.1016/j.is.2013.10.004