Zum Inhalt springenSkip to content

Marc Kimmel

Software Engineer & Research Assistant

About me

Portrait of Marc Kimmel

In academia I am a research assistant at the Chair of Concurrent Systems at the University of Augsburg. I work on Process Mining and Petri nets, built the Petri-Dish survey tool for empirical studies on the understandability of workflow nets, and teach from introductory computer science courses through to one-on-one supervision of theses.

As a software engineer I run my own label marcompile with Android and web products (currently: Kleiner Kalender) and build bespoke websites for clubs and companies, among them the ticket portal and the official website of TSV 1862 Friedberg.

In my voluntary work I lead the trampoline gymnastics department at TSV 1862 Friedberg and host major events such as the Bavarian Championships 2024 and the Bayern-Challenge 2025. For balance I run long distances, traditionally once a year at the Vienna City Marathon.

Projects

A selection of current and past work, either self-built or co-led.

Self-built
ticket.tsv-friedberg.de

Ticketing and registration portal for TSV 1862 Friedberg: public forms, QR-based entry control, user and role management (ASP.NET Core).

Co-author
tsv-friedberg.de

Official sports-club website with departments, training schedules, news, events and editor backend (Angular + PHP API).

Self-built
marcompile

Independent software label for Android apps and web services. Currently featured: Kleiner Kalender (Play Store, Angular, Java Spring Boot and React Native).

Research project
Petri-Dish

Survey tool for investigating the understandability of Petri nets, developed at the chair and presented at the ICPM and Petri Nets conferences (Java).

Personal hobby project
Web games

Browser-based multiplayer games. Currently available: JetLagAux, a location-based line-collecting game on the Augsburg public transit network.

Multiple clients
Custom websites & hosting

Bespoke websites on request, with concept, development and ongoing hosting for companies and organisations.

Self-built
ticket.tsv-friedberg.de

Ticketing and registration portal for TSV 1862 Friedberg: public forms, QR-based entry control, user and role management (ASP.NET Core).

Co-author
tsv-friedberg.de

Official sports-club website with departments, training schedules, news, events and editor backend (Angular + PHP API).

Self-built
marcompile

Independent software label for Android apps and web services. Currently featured: Kleiner Kalender (Play Store, Angular, Java Spring Boot and React Native).

Research project
Petri-Dish

Survey tool for investigating the understandability of Petri nets, developed at the chair and presented at the ICPM and Petri Nets conferences (Java).

Personal hobby project
Web games

Browser-based multiplayer games. Currently available: JetLagAux, a location-based line-collecting game on the Augsburg public transit network.

Multiple clients
Custom websites & hosting

Bespoke websites on request, with concept, development and ongoing hosting for companies and organisations.

Self-built
ticket.tsv-friedberg.de

Ticketing and registration portal for TSV 1862 Friedberg: public forms, QR-based entry control, user and role management (ASP.NET Core).

Co-author
tsv-friedberg.de

Official sports-club website with departments, training schedules, news, events and editor backend (Angular + PHP API).

Self-built
marcompile

Independent software label for Android apps and web services. Currently featured: Kleiner Kalender (Play Store, Angular, Java Spring Boot and React Native).

Research project
Petri-Dish

Survey tool for investigating the understandability of Petri nets, developed at the chair and presented at the ICPM and Petri Nets conferences (Java).

Personal hobby project
Web games

Browser-based multiplayer games. Currently available: JetLagAux, a location-based line-collecting game on the Augsburg public transit network.

Multiple clients
Custom websites & hosting

Bespoke websites on request, with concept, development and ongoing hosting for companies and organisations.

Self-built
ticket.tsv-friedberg.de

Ticketing and registration portal for TSV 1862 Friedberg: public forms, QR-based entry control, user and role management (ASP.NET Core).

Co-author
tsv-friedberg.de

Official sports-club website with departments, training schedules, news, events and editor backend (Angular + PHP API).

Self-built
marcompile

Independent software label for Android apps and web services. Currently featured: Kleiner Kalender (Play Store, Angular, Java Spring Boot and React Native).

Research project
Petri-Dish

Survey tool for investigating the understandability of Petri nets, developed at the chair and presented at the ICPM and Petri Nets conferences (Java).

Personal hobby project
Web games

Browser-based multiplayer games. Currently available: JetLagAux, a location-based line-collecting game on the Augsburg public transit network.

Multiple clients
Custom websites & hosting

Bespoke websites on request, with concept, development and ongoing hosting for companies and organisations.

Research

Research assistant at the Chair of Concurrent Systems, University of Augsburg.

Process Mining

Process mining automatically reconstructs models of business processes as they are actually lived, from the digital footprints in running IT systems. The quality of the discovered models is typically assessed along four dimensions: fitness, precision, generalisation, and simplicity. While fitness and precision are well-understood formally, simplicity, that is, how easily humans can understand a model, still lacks a universal definition; it depends on the use case and the users' prior experience.

My research focuses on empirically investigating this understandability specifically for workflow nets. Which structural properties, such as node count, density, connector degree, parallelism, separability, or properties of the reachability graph, correlate with it? In case studies with students at the University of Augsburg, I measure both objective (correctness of answers, time taken) and subjective understandability (pairwise comparisons between models).

To run these studies efficiently I built the tool "Petri-Dish", a platform that automates the creation, online delivery, and analysis of Petri-net surveys, feeding results directly into regression analyses. Early findings show, for example, that parallelism reduces objective comprehension, whereas the subjective rating is influenced more strongly by connector degree and separability.

Petri Nets

A Petri net is a bipartite graph of places (circles) and transitions (rectangles), connected by directed arcs. Places represent local states; the distribution of their tokens forms the marking and thus the overall state of the net. A transition is enabled as soon as each of its input places holds at least one token. When it fires, it removes one token from each input place and adds one to each of its output places.

Workflow nets restrict Petri nets to the modelling of business processes: they have exactly one input place and one output place, and every node lies on a directed path between them. Four patterns form their control flow: AND-splits and AND-joins are transitions with multiple outgoing or incoming arcs and create concurrency or synchronise it again, whereas XOR-splits and XOR-joins are places with multiple outgoing or incoming arcs and model alternative paths or merge them.

Workflow Net Example

In the example, at p2 the XOR-split chooses whether t2 or t3 fires, and both paths converge again at p3 (XOR-join). t4 is an AND-split that puts a token into both p4 and p5 simultaneously. After the upper (t5 → p6) and lower (t6 → p7) lanes have run independently, the AND-join t7 merges the two branches once p6 and p7 are both filled. Click a light-blue transition to fire it.

p1p2p3p4p5p6p7p8t1t2t3t4t5t6t7
Fired transitions:No transition fired yet.
Place (with tokens)Transitionenabled

Publications

  • Model Factors Influencing Petri Net Understandability: A Case Study on Simplicity

    Marc Kimmel, Patrizia Schalk, Robert Lorenz (2024)

    AWPN 2024 workshop proceedings · Bonn: Gesellschaft für Informatik e. V., pp. 17-19 · 18 October 2024, Copenhagen

    DOI: 10.18420/AWPN2024-07
  • Petri-Dish: A Petri Net Survey Tool for Education and Research

    Marc Kimmel, Patrizia Schalk, Robert Lorenz (2026)

    Petri Nets 2026 · Regular and Tool Papers (proceedings paper)

    Forthcoming

Teaching

Organising and running courses at the chair, from the first semester through to one-on-one supervision.

  • Informatics 1 · introduction to programming and algorithmic thinking for first-year students.
  • Informatics 2 · advanced concepts: data structures, algorithms, complexity.
  • Preparatory courses and programming courses · bridging school and university.
  • Seminars · supervising student seminar papers on Process Mining / Petri nets.
  • Theses · supervising Bachelor's and Master's theses.

Sport & Voluntary Work

Trampoline gymnastics

Trampoline Gymnastics

Department head and coach at TSV 1862 Friedberg. Former competitive athlete at Bavarian and supra-regional championships. I reorganised the department in late 2021 and now manage training schedules, group structure and major events, among them the Bavarian Championships 2024, the Bayern-Challenge 2025 and regular performances at the historical "Friedberger Zeit" festival.

Marathon

Marathon Running

Active long-distance runner focused on endurance. Personal highlight and annual tradition: the Vienna City Marathon.