2024
Proceedings of the Workshop Petri Net Games, 2024
2023
Symbolic Observation Graph-Based Generation of Test Paths.
Proceedings of the Tests and Proofs - 17th International Conference, 2023
ILP<sup>2</sup> Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
GI entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudiengängen.
Datenbank-Spektrum, 2022
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022
2021
AsTRA - An Assessment Tool for Recognition and Adaptation of Prior Professional Experience and Vocational Training.
Proceedings of the Digital Transformation of Education and Learning - Past, Present and Future, 2021
2020
Stop-transitions of Petri Nets.
Fundam. Informaticae, 2020
Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching).
Proceedings of the Companion Proceedings of Modellierung 2020 Short, 2020
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
Negotiation as concurrency primitive.
Acta Informatica, 2019
Can a Single Transition Stop an Entire Net?
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019
Carl Adam Petri's Synchronic Distance.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Specialisation and Generalisation of Processes.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018
2017
Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Negotiations and Petri Nets.
Trans. Petri Nets Other Model. Concurr., 2016
Synthesis of Elementary Net Systems with Final Configurations.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016
2015
The concepts of Petri nets.
Softw. Syst. Model., 2015
Internet der Zukunft - sicher, schnell, vertrauenswürdig.
Inform. Spektrum, 2015
Fundam. Informaticae, 2015
Observable liveness of Petri nets.
Acta Informatica, 2015
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
2014
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Analyzing a TCP/IP-Protocol with Process Mining Techniques.
Proceedings of the Business Process Management Workshops, 2014
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014
2013
Trans. Petri Nets Other Model. Concurr., 2013
On Negotiation as Concurrency Primitive.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
On Cyclic Behaviour of Unbounded Petri Nets.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
Aggregating Causal Runs into Workflow Nets.
Trans. Petri Nets Other Model. Concurr., 2012
Modeling and Mining of Learnflows.
Trans. Petri Nets Other Model. Concurr., 2012
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.
Proceedings of the Formal Techniques for Distributed Systems, 2012
2011
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.
Data Knowl. Eng., 2011
Workflow Nets with Roles.
Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, 2011
2010
Vicinity Respecting Homomorphisms for Abstracting System Requirements.
Trans. Petri Nets Other Model. Concurr., 2010
AMSEL - ein Lernsystem zum Algorithmenentwurf.
Proceedings of the DeLFI 2010, 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
Construction of Process Models from Example Runs.
Trans. Petri Nets Other Model. Concurr., 2009
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.
Trans. Petri Nets Other Model. Concurr., 2009
Executability of scenarios in Petri nets.
Theor. Comput. Sci., 2009
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.
Fundam. Informaticae, 2009
Unifying Petri Net Semantics with Token Flows.
Proceedings of the Applications and Theory of Petri Nets, 2009
2008
Schedulability Analysis of Petri Nets Based on Structural Properties.
Fundam. Informaticae, 2008
Synthesis of Petri Nets from Finite Partial Languages.
Fundam. Informaticae, 2008
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen.
Proceedings of the Didaktik der Informatik, 2008
From Human Knowledge to Process Models.
Proceedings of the Information Systems and e-Business Technologies, 2008
Driving situation analysis in automotive environment.
Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2008
Hilfreiche Hilfe? - Adaptives Learning-on-Demand.
Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008
Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008
Synthesis of Petri Nets from Scenarios with VipTool.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
Synthesis of Petri nets from infinite partial languages.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
2007
Controlling Petri Net Process Models.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Process Mining Based on Regions of Languages.
Proceedings of the Business Process Management, 5th International Conference, 2007
2006
Petri Net Model Synthesis from Scenarios.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006
Can I Execute My Scenario in Your Net? VipTool Tells You!
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Can I Execute My Scenario in Your Net?.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
Process Modeling Using Petri Nets.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005
2004
Bericht aus der Fachgruppe E-Learning.
i-com, 2004
A Guide to Modelling and Control with Modules of Signal Nets.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Finite Unfoldings of Unbounded Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Potentiale Virtueller Lerngruppen aus Sicht der Psychologie.
Künstliche Intell., 2003
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003
Referenzmodellierung 2003 (RefMod2003).
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
Quantitative Engineering of Business Processes with VIP business.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Modelling and Validation with VipTool.
Proceedings of the Business Process Management, International Conference, 2003
Model Validation in Controller Design.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
On the semantics of EPCs: A vicious circle.
Proceedings of the EPK 2002, 2002
Tutorium: Validierung und Verifikation von Prozessmodellen.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002
Model Validation - A Theoretical Issue?
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
2001
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Wer will virtuell lehren? Wer will virtuell lernen?
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001
Petri Nets over Partial Algebra.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
''What Is a Petri Net?''.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
Teaching system modeling, simulation and validation.
Proceedings of the 32nd conference on Winter simulation, 2000
Modeling, Simulation and Analysis of Business Processes.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000
Validation of Process Models by Construction of Process Nets.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000
Process Semantics of Petri Nets over Partial Algebra.
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Simulation und Leistungsbewertung von Geschäftsprozessen.
Proceedings of the Entwicklungsmethoden für Informationssysteme und deren Anwendung, 1999
Petri Net Process Decomposition with Application to Validation.
Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999
1998
Petrinetze als Grundlage der Ablaufmodellierung.
Proceedings of the Modellierung '98, 1998
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
Workshop: Grundlagen der Parallelität.
Proceedings of the Informatik '97, 1997
How Distributed Algorithms Play the Token Game.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
1996
Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven.
Wirtschaftsinf., 1996
Proving Nonreachability by Modulo-Invariants.
Theor. Comput. Sci., 1996
The Synthesis Problem of Petri Nets.
Acta Informatica, 1996
Place or Transition Petri Nets.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996
Basic Linear Algebraic Techniques for Place or Transition Nets.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996
1995
Shortest Paths in Reachability Graphs.
J. Comput. Syst. Sci., 1995
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.
Inf. Process. Lett., 1995
1994
Proving Non-Reachabililty by Modulo-Place-Invariants.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
1993
Reachability in Cyclic Extended Free-Choice Systems.
Theor. Comput. Sci., 1993
Regular Marked Petri Nets.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993
1992
Traps Characterize Home States in Free Choice Systems.
Theor. Comput. Sci., 1992
Compositional Generation of Home States in Free Choice Nets.
Formal Aspects Comput., 1992
A Proof of the Rank Theorem for Extended Free Choice Nets.
Proceedings of the Application and Theory of Petri Nets 1992, 1992
Struktur und Analyse von Free-Choice-Petrinetzen.
DUV Informatik, Deutscher Universitätsverlag, ISBN: 978-3-8244-2030-8, 1992
1991
Compositional Generation of Home States in Free Choice Systems.
Proceedings of the STACS 91, 1991
1990
Reachability in reversible free-choice systems
Forschungsberichte, TU Munich, 1990
Partial Order Behaviour and Structure of Petri Nets.
Formal Aspects Comput., 1990
Reduction and Design of Well-behaved Concurrent Systems.
Proceedings of the CONCUR '90, 1990
Proceedings of the Advances in Petri Nets 1991, 1990
1989
Vicinity respecting net morphisms.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989
1988
P/T-systems as abstractions of C/E-systems.
Proceedings of the Advances in Petri Nets 1989, 1988