A
Menu
January 01, 2021 conference-paper Aachen paper

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

Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)

DOI: 10.1007/978-3-030-76983-3_11 OpenAlex

Abstract

S.208-229

Authors 1

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

    RWTH Aachen University

    Affiliation as printed

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

Cited by 11 stored of 11

11 results

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

References 15

15 results