Zum Inhalt springenSkip to content

Marc Kimmel

Software Engineer & Research Assistant

Über mich

Portrait von Marc Kimmel

In der Wissenschaft bin ich wissenschaftlicher Mitarbeiter am Lehrstuhl für Nebenläufige Systeme der Universität Augsburg. Ich forsche zu Process Mining und Petri-Netzen, habe mit Petri-Dish ein eigenes Survey-Tool für empirische Verständlichkeitsstudien entwickelt und lehre von Informatik-Grundlagen bis zur Betreuung von Abschlussarbeiten.

Als Software-Entwickler betreibe ich unter dem Label marcompile eigene Android- und Web-Produkte (aktuell: Kleiner Kalender) und setze individuelle Webseiten für Vereine und Unternehmen um, darunter das Ticketportal und die Vereinswebseite des TSV 1862 Friedberg.

Im Ehrenamt leite ich die Trampolin-Abteilung des TSV 1862 Friedberg und richte dort Großevents wie die Bayerische Meisterschaft 2024 und die Bayern-Challenge 2025 aus. Den Ausgleich finde ich auf der Langstrecke, traditionell jedes Jahr beim Vienna City Marathon.

Projekte

Eine Auswahl aktueller und abgeschlossener Arbeiten, selbst umgesetzt oder federführend mitgestaltet.

Selbst entwickelt
ticket.tsv-friedberg.de

Ticket- und Anmeldeportal des TSV 1862 Friedberg: öffentliche Formulare, QR-Einlasskontrolle, Benutzer- und Rollenverwaltung (ASP.NET Core).

Mitgearbeitet
tsv-friedberg.de

Offizielle Vereinswebseite mit Abteilungen, Trainingszeiten, News, Events und Redaktionsbereich (Angular + PHP-API).

Selbst entwickelt
marcompile

Eigenes Software-Label mit Android-Apps und Web-Diensten. Aktuell: Kleiner Kalender (Play Store, Angular, Java Spring Boot und React Native).

Forschungsprojekt
Petri-Dish

Umfrage-Tool zur Untersuchung der Verständlichkeit von Petri-Netzen, entwickelt am Lehrstuhl und vorgestellt auf den Konferenzen ICPM und Petri Nets (Java).

Eigenes Hobbyprojekt
Web-Spiele

Browser-basierte Mehrspieler-Spiele. Aktuell verfügbar: JetLagAux, ein ortsbasiertes Linien-Sammelspiel im Augsburger ÖPNV.

Mehrere Kunden
Webseiten & Hosting

Individuelle Webseiten auf Anfrage, mit Konzeption, Entwicklung und laufendem Hosting für Unternehmen und Organisationen.

Selbst entwickelt
ticket.tsv-friedberg.de

Ticket- und Anmeldeportal des TSV 1862 Friedberg: öffentliche Formulare, QR-Einlasskontrolle, Benutzer- und Rollenverwaltung (ASP.NET Core).

Mitgearbeitet
tsv-friedberg.de

Offizielle Vereinswebseite mit Abteilungen, Trainingszeiten, News, Events und Redaktionsbereich (Angular + PHP-API).

Selbst entwickelt
marcompile

Eigenes Software-Label mit Android-Apps und Web-Diensten. Aktuell: Kleiner Kalender (Play Store, Angular, Java Spring Boot und React Native).

Forschungsprojekt
Petri-Dish

Umfrage-Tool zur Untersuchung der Verständlichkeit von Petri-Netzen, entwickelt am Lehrstuhl und vorgestellt auf den Konferenzen ICPM und Petri Nets (Java).

Eigenes Hobbyprojekt
Web-Spiele

Browser-basierte Mehrspieler-Spiele. Aktuell verfügbar: JetLagAux, ein ortsbasiertes Linien-Sammelspiel im Augsburger ÖPNV.

Mehrere Kunden
Webseiten & Hosting

Individuelle Webseiten auf Anfrage, mit Konzeption, Entwicklung und laufendem Hosting für Unternehmen und Organisationen.

Selbst entwickelt
ticket.tsv-friedberg.de

Ticket- und Anmeldeportal des TSV 1862 Friedberg: öffentliche Formulare, QR-Einlasskontrolle, Benutzer- und Rollenverwaltung (ASP.NET Core).

Mitgearbeitet
tsv-friedberg.de

Offizielle Vereinswebseite mit Abteilungen, Trainingszeiten, News, Events und Redaktionsbereich (Angular + PHP-API).

Selbst entwickelt
marcompile

Eigenes Software-Label mit Android-Apps und Web-Diensten. Aktuell: Kleiner Kalender (Play Store, Angular, Java Spring Boot und React Native).

Forschungsprojekt
Petri-Dish

Umfrage-Tool zur Untersuchung der Verständlichkeit von Petri-Netzen, entwickelt am Lehrstuhl und vorgestellt auf den Konferenzen ICPM und Petri Nets (Java).

Eigenes Hobbyprojekt
Web-Spiele

Browser-basierte Mehrspieler-Spiele. Aktuell verfügbar: JetLagAux, ein ortsbasiertes Linien-Sammelspiel im Augsburger ÖPNV.

Mehrere Kunden
Webseiten & Hosting

Individuelle Webseiten auf Anfrage, mit Konzeption, Entwicklung und laufendem Hosting für Unternehmen und Organisationen.

Selbst entwickelt
ticket.tsv-friedberg.de

Ticket- und Anmeldeportal des TSV 1862 Friedberg: öffentliche Formulare, QR-Einlasskontrolle, Benutzer- und Rollenverwaltung (ASP.NET Core).

Mitgearbeitet
tsv-friedberg.de

Offizielle Vereinswebseite mit Abteilungen, Trainingszeiten, News, Events und Redaktionsbereich (Angular + PHP-API).

Selbst entwickelt
marcompile

Eigenes Software-Label mit Android-Apps und Web-Diensten. Aktuell: Kleiner Kalender (Play Store, Angular, Java Spring Boot und React Native).

Forschungsprojekt
Petri-Dish

Umfrage-Tool zur Untersuchung der Verständlichkeit von Petri-Netzen, entwickelt am Lehrstuhl und vorgestellt auf den Konferenzen ICPM und Petri Nets (Java).

Eigenes Hobbyprojekt
Web-Spiele

Browser-basierte Mehrspieler-Spiele. Aktuell verfügbar: JetLagAux, ein ortsbasiertes Linien-Sammelspiel im Augsburger ÖPNV.

Mehrere Kunden
Webseiten & Hosting

Individuelle Webseiten auf Anfrage, mit Konzeption, Entwicklung und laufendem Hosting für Unternehmen und Organisationen.

Forschung

Wissenschaftlicher Mitarbeiter am Lehrstuhl für Nebenläufige Systeme, Universität Augsburg.

Process Mining

Process Mining gewinnt aus den digitalen Spuren laufender IT-Systeme automatisch Modelle der tatsächlich gelebten Geschäftsprozesse. Die Qualität dieser entdeckten Modelle wird üblicherweise an vier Dimensionen gemessen: Fitness, Präzision, Generalisierung und Simplizität. Während Fitness und Präzision formal gut verstanden sind, fehlt für Simplizität, also dafür wie verständlich ein Modell für Menschen ist, bislang eine allgemeingültige Definition; sie hängt vom konkreten Anwendungsfall und den Vorerfahrungen der Nutzer ab.

Mein Forschungsschwerpunkt ist die empirische Untersuchung dieser Verständlichkeit speziell für Workflow-Netze. Welche strukturellen Eigenschaften, etwa Knotenzahl, Dichte, Konnektor-Grad, Nebenläufigkeit, Separabilität oder Eigenschaften des Erreichbarkeitsgraphen, korrelieren damit? In Fallstudien mit Studierenden der Universität Augsburg messe ich sowohl objektive (Korrektheit der beantworteten Fragen, Bearbeitungszeit) als auch subjektive Verständlichkeit (paarweise Vergleiche zwischen Modellen).

Für die effiziente Durchführung solcher Studien habe ich das Werkzeug „Petri-Dish" entwickelt: eine Plattform, die Petri-Netz-Surveys automatisiert erstellt, online durchführt und die Ergebnisse direkt für Regressionsanalysen aufbereitet. Erste Resultate zeigen z. B., dass Nebenläufigkeit das objektive Verstehen reduziert, während die subjektive Bewertung stärker vom Konnektor-Grad und der Separabilität abhängt.

Petri-Netze

Ein Petri-Netz ist ein bipartiter Graph aus Stellen (Kreise) und Transitionen (Rechtecke), die durch gerichtete Kanten verbunden sind. Stellen repräsentieren lokale Zustände; die Verteilung ihrer Tokens bildet die Markierung und damit den Gesamtzustand des Netzes. Eine Transition ist aktiviert, sobald jede ihrer Eingangsstellen mindestens einen Token enthält. Beim Feuern entfernt sie aus jeder Eingangsstelle einen Token und legt einen neuen in jede ihrer Ausgangsstellen.

Workflow-Netze schränken Petri-Netze auf die Modellierung von Geschäftsprozessen ein: Sie besitzen genau eine Eingangsstelle und eine Ausgangsstelle, und jeder Knoten liegt auf einem gerichteten Pfad zwischen beiden. Vier Muster bilden ihre Kontrollflüsse: AND-Splits und AND-Joins sind Transitionen mit mehreren ausgehenden bzw. eingehenden Kanten und erzeugen Nebenläufigkeit oder synchronisieren sie wieder, während XOR-Splits und XOR-Joins Stellen mit mehreren ausgehenden bzw. eingehenden Kanten sind und alternative Pfade modellieren oder zusammenführen.

Workflow-Netz Beispiel

Im Beispiel wählt bei p2 der XOR-Split, ob t2 oder t3 feuert, und beide Pfade führen zurück zu p3 (XOR-Join). t4 ist ein AND-Split und legt parallel je einen Token in p4 und p5. Nach unabhängigem Durchlauf der oberen (t5 → p6) und unteren (t6 → p7) Bahn führt der AND-Join t7 beide Stränge wieder zusammen, sobald p6 und p7 belegt sind. Klicke eine hellblaue Transition an, um sie zu feuern.

p1p2p3p4p5p6p7p8t1t2t3t4t5t6t7
Gefeuerte Transitionen:Noch keine Transition gefeuert.
Stelle (mit Tokens)Transitionaktiviert

Veröffentlichungen

  • 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., S. 17-19 · 18. Oktober 2024, Kopenhagen

    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)

    Erscheint demnächst

Lehre

Organisation und Durchführung von Lehrveranstaltungen am Lehrstuhl, von der Grundausbildung bis zur individuellen Betreuung.

  • Informatik 1 · Einführung in Programmierung und algorithmisches Denken für Erstsemester.
  • Informatik 2 · Fortgeschrittene Konzepte: Datenstrukturen, Algorithmen, Komplexität.
  • Vorkurse und Programmierkurse · Brücke zwischen Schule und Studium.
  • Seminare · Betreuung studentischer Seminararbeiten im Bereich Process Mining / Petri-Netze.
  • Abschlussarbeiten · Begleitung von Bachelor- und Masterarbeiten.

Sport & Ehrenamt

Trampolinturnen

Trampolinturnen

Abteilungsleiter und Trainer beim TSV 1862 Friedberg. Ehemals Wettkampfsportler bei bayerischen und überregionalen Meisterschaften. In dieser Rolle habe ich die Abteilung Ende 2021 reorganisiert und bin heute für Trainingsplanung, Gruppeneinteilung und Großevents verantwortlich, darunter die Bayerische Meisterschaft 2024, die Bayern-Challenge 2025 sowie regelmäßige Auftritte bei der „Friedberger Zeit".

Marathonlauf

Marathonlauf

Aktiver Langstreckenläufer mit Fokus auf Ausdauer. Persönliches Highlight und Jahrestradition: der Vienna City Marathon.