From

Institution

Field

Type

Topic: Petri Nets in System Modeling ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “free choice nets” in Petri Nets in System Modeling 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
2021 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

Wil M. P. van der Aalst

1

citations
Free-choice Nets with Home Clusters are Lucent
2021 Fundamenta Informaticae article Computer Science Petri Nets in System Modeling Open access

Wil M. P. van der Aalst

8

citations
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
2026 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst

0

citations
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
2021 Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) conference-paper Computer Science Petri Nets in System Modeling

Wil M. P. van der Aalst

11

citations
Loop home markings (looms) in free-choice nets with home clusters
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Thomas M. Prinz, Wil M. P. van der Aalst, Christopher Thilo Schwanen, Yongsun Choi

0

citations
Deciding (Sub-Marking) Reachability in $$\pmb {O(P^2 + T^2)}$$ for Sound Acyclic Free-Choice Workflow Nets
2025 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

Christopher T. Schwanen, Wil M. P. van der Aalst

1

citations
Coming Home for Blocking Transitions Fast
2026 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst

0

citations

7 results