We use sequences of t-induced T-nets and p-induced P-nets to convert free-choice nets into T-nets and P-nets while preserving properties such as well-formedness, liveness, lucency, pc-safety, and perpetuality. The approach is general and can be applied to different properties. This allows for more systematic proofs that “peel off” non-trivial parts while retaining the essence of the problem (e.g., lifting properties from T-net and P-net to free-choice nets).
CITATION STYLE
van der Aalst, W. M. P. (2021). Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12734 LNCS, pp. 208–229). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-76983-3_11
Mendeley helps you to discover research relevant for your work.