使用诱导子网以系统性地证明自由选择网络的属性的简化
摘要：使用t诱导的T-网和p诱导的P-网的序列来将自由选择网转换为T-网和P-网，同时保持一些特性，如良形性、活性、透明性、pc-安全性和永存性。这种方法是通用的，可以应用于不同的特性。这样可以进行更系统化的证明，"剥掉"非平凡部分，同时保留问题的本质（例如，将特性从T-网和P-网提升到自由选择网）。
作者：Wil M.P. van der Aalst
论文ID：2106.03658
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-06-18