What is it about?
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.
Featured Image
Photo by JJ Ying on Unsplash
Why is it important?
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).
Perspectives
Although free-choice nets have been studied extensively, still new and surprising properties are discovered that cannot be proven easily.
prof.dr.ir. Wil van der Aalst
Rheinisch Westfalische Technische Hochschule Aachen
Read the Original
This page is a summary of: Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets, January 2021, Springer Science + Business Media,
DOI: 10.1007/978-3-030-76983-3_11.
You can read the full text:
Contributors
The following have contributed to this page
