带替换的 *-声网的生成
On Generating *-Sound Nets with Substitution
摘要：
我们提出了一种方法，分层生成的声音工作流网的替代网多个输入和输出。我们证明了这种方法是正确的，并推广了其他层次方法产生的网类。该方法涉及到一个新的概念的健全性，这是由本文提出的广义型的替代。我们证明了这一概念比 *-可靠性更适合用于所提出的广义替换类型，因为它不保持{*}-可靠性，而且在某种意义上，它是最佳的可靠性概念，用于生成由所提出的广义替换类型的声音网。
英文摘要：
We present a method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs. We show that this method is correct and generalizes the class of nets generated by other hierarchical approaches. The method involves a new notion of soundness which is preserved by the generalized type of substitution that is presented in this paper. We show that this notion is better suited than *-soundness for use with the presented type of generalized substitution, since {*}-soundness is not preserved by it. It is moreover shown that it is in some sense the optimal notion of soundness for the purpose of generating sound nets by the presented type of substitution.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
