Supplementary Material for "Petri Nets for the Real World"

Publication Server of Bonn-Rhein-Sieg University of Applied Sciences (Bonn-Rhein-Sieg University of Applied Sciences) 2026 Open access

Read full text
Authors: Andreas V. Hense
DOI: 10.5281/zenodo.18615509
Cited by: 0

Abstract

PNML files for the Petri nets in the referenced publication.

Fields of Study & Subjects

Petri Nets in System Modeling Business Process Modeling and Analysis Formal Methods in Verification

Publication details

Journal / source
Publication Server of Bonn-Rhein-Sieg University of Applied Sciences (Bonn-Rhein-Sieg University of Applied Sciences)
Publication date
12 February 2026
Language
EN