A
Menu
January 01, 2021 conference-paper Open access Aachen paper

Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

Lecture notes in computer science, pp. 208–229

DOI: 10.1007/978-3-030-76983-3_11 Full text (OA) OpenAlex

Authors 1

  1. Wil M. P. van der Aalst corresponding Aachen Process and Data Science (PADS)

    RWTH Aachen University · Fraunhofer Institute for Applied Information Technology

    Affiliation as printed

    Fraunhofer-Institut für Angewandte Informationstechnik (FIT), Sankt Augustin, Germany

    Process and Data Science (Informatik 9), RWTH Aachen University, Aachen, Germany

    RWTH Aachen University

Cited by 1 stored of 1

1 result

No patents citing this paper on Lens.org (checked 2026-10-06).

References 27