Timestamp nets in technical applications. - Hans-Michael Hanisch; Jan Thieme; Kurt Lautenbach; Carlo Simon (SMC, 1998)

Developing Software Controllers with Petri Nets and a Logic of Actions. - Carlo Simon (ICRA, 2001)

A logic of actions and its application to the development of programmable controllers. - Carlo Simon (Fölbach, 2001)

Initiating eLearning via Workflow Management. - Carlo Simon; Nadja Reckmann; Paula M. C. Swatman (I3E, 2002)

Integration of Multi-attributed Negotiations within Business Processes. - Carlo Simon; Michael Rebstock (Business Process Management, 2004)

From Business Process Fragments to Workflow Definitions. - Carlo Simon; Juliane Dehnert (EMISA, 2004)

Incremental Development of Business Process Models. - Carlo Simon (EMISA, 2005)

Business Process Design by View Integration. - Jan Mendling; Carlo Simon (Business Process Management Workshops, 2006)

Using BPEL Processes defined by Event-driven Process Chains. - Carlo Simon; Jörn Freiheit; Sebastian Olbrich (EPK, 2006)

Verification of Forbidden Behavior in EPCs. - Carlo Simon; Jan Mendling (Modellierung, 2006)

Using GXL for exchanging business process models. - Andreas Winter 001; Carlo Simon (Inf. Syst. E Bus. Manag., 2006)

Integration of Conceptual Process Models by the Example of Event-driven Process Chains. - Carlo Simon; Jan Mendling (Wirtschaftsinformatik (1), 2007)

Formale Kontrolle Kollaborativer B2B-Geschäftsprozesse. - Janina Fengel; Michael Rebstock; Carlo Simon (MobIS Workshops, 2008)

Web-Based Simulation Of Production Schedules With High-Level Petri Nets. - Carlo Simon (ECMS, 2018)

FSimulation Of Horizontal And Vertical Integration In Digital Twins. - Stefan Haag; Carlo Simon (ECMS, 2019)

Simulatable Reference Models To Transform Enterprises For The Digital Age - A Case Study -. - Carlo Simon; Stefan Haag (ECMS, 2020)

Digitale Zwillinge modellieren und verstehen: Eine Fallstudie zum problembasierten und forschenden Lernen (Modeling and Understanding Digital Twins: A Case Study of Problem-Based and Exploratory Learning). - Carlo Simon; Stefan Haag (Modellierung (Companion), 2020)

A Case-Study to Teach Process-Aware Information Systems. - Carlo Simon; Stefan Haag (EMISA Forum, 2020)

Research-Agenda For Process Simulation Dashboards. - Carlo Simon; Stefan Haag; Lara Zakfeld (ECMS, 2021)

Showing the Advantages of Pull over Push Production with the Aid of Petri Nets (Extended Abstract). - Carlo Simon; Stefan Haag; Lara Zakfeld (EMISA Forum, 2021)

Stratification Of Timed Petri Nets At The Example Of A Production Process. - Carlo Simon; Stefan Haag; Lara Zakfeld (ECMS, 2022)

Experiments On GPT-3 Assisted Process Model Development. - Carlo Simon; Stefan Haag; Lara Zakfeld (ECMS, 2023)

Pairing Finite Automata And Petri Nets - Simulation Of Processes In Logistics -. - Carlo Simon; Stefan Haag (ECMS, 2024)

Process Management Compass And Competence Ladder To Empower Process Management Skills. - Carlo Simon; Merlin Hladik; Stefan Haag (ECMS, 2025)