A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Topic: Petri Nets in System Modeling ×

Journal / venue: Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) ×

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

Papers in Petri Nets in System Modeling 1

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

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

1 result