Jörg Desel

Proceedings of the Digital Transformation of Education and Learning - Past, Present and Future, 2021

2020

Stop-transitions of Petri Nets.

[BibT_eX]

[DOI]

Marc Finthammer

Fundam. Informaticae, 2020

Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching).

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of Modellierung 2020 Short, 2020

Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.

[BibT_eX]

[DOI]

Marc Finthammer

Andrea Frank

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Negotiation as concurrency primitive.

[BibT_eX]

[DOI]

Philipp Hoffmann

Acta Informatica, 2019

Can a Single Transition Stop an Entire Net?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Specialisation and Generalisation of Processes.

[BibT_eX]

[DOI]

Christine Choppy

Laure Petrucci

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

2017

Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benjamin Meis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Negotiations and Petri Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2016

Synthesis of Elementary Net Systems with Final Configurations.

[BibT_eX]

[DOI]

Benjamin Meis

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Internet der Zukunft - sicher, schnell, vertrauenswürdig.

[BibT_eX]

[DOI]

Inform. Spektrum, 2015

Preface.

[BibT_eX]

[DOI]

José Manuel Colom

Jetty Kleijn

Fundam. Informaticae, 2015

Observable liveness of Petri nets.

[BibT_eX]

[DOI]

Görkem Kilinç

Acta Informatica, 2015

Negotiation Programs.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Konzepte der Petrinetze.

[BibT_eX]

[DOI]

Inform. Spektrum, 2014

Petrinetze.

[BibT_eX]

[DOI]

Inform. Spektrum, 2014

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Analyzing a TCP/IP-Protocol with Process Mining Techniques.

[BibT_eX]

[DOI]

Christian Wakup

Proceedings of the Business Process Management Workshops, 2014

Observable Liveness.

[BibT_eX]

[DOI]

Görkem Kilinç

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Models from Scenarios.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2013

On Negotiation as Concurrency Primitive.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

On Cyclic Behaviour of Unbounded Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Aggregating Causal Runs into Workflow Nets.

[BibT_eX]

[DOI]

Boudewijn F. van Dongen

Wil M. P. van der Aalst

Trans. Petri Nets Other Model. Concurr., 2012

Modeling and Mining of Learnflows.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2012

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.

[BibT_eX]

[DOI]

Kais Klai

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.

[BibT_eX]

[DOI]

Kais Klai

Samir Tata

Data Knowl. Eng., 2011

Workflow Nets with Roles.

[BibT_eX]

[DOI]

Sebastian Mauser

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.

[BibT_eX]

[DOI]

Agathe Merceron

Trans. Petri Nets Other Model. Concurr., 2010

AMSEL - ein Lernsystem zum Algorithmenentwurf.

[BibT_eX]

[DOI]

Leo von Klenze

Proceedings of the DeLFI 2010, 2010

Introduction.

[BibT_eX]

[DOI]

Alex Yakovlev

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.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.

[BibT_eX]

[DOI]

Sebastian Mauser

Trans. Petri Nets Other Model. Concurr., 2009

Executability of scenarios in Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Unifying Petri Net Semantics with Token Flows.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Schedulability Analysis of Petri Nets Based on Structural Properties.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Synthesis of Petri Nets from Finite Partial Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen.

[BibT_eX]

[DOI]

Christian Neumair

Proceedings of the Didaktik der Informatik, 2008

From Human Knowledge to Process Models.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and e-Business Technologies, 2008

Driving situation analysis in automotive environment.

[BibT_eX]

[DOI]

Andreas Hermann

Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2008

Hilfreiche Hilfe? - Adaptives Learning-on-Demand.

[BibT_eX]

[DOI]

Dorothea Iglezakis

Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

Learnflow Mining.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri nets from infinite partial languages.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Controlling Petri Net Process Models.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Process Mining Based on Regions of Languages.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 5th International Conference, 2007

2006

Petri Net Model Synthesis from Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Can I Execute My Scenario in Your Net? VipTool Tells You!

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Can I Execute My Scenario in Your Net?.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Process Modeling Using Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

2004

Bericht aus der Fachgruppe E-Learning.

[BibT_eX]

[DOI]

Martin Wessner

i-com, 2004

A Guide to Modelling and Control with Modules of Signal Nets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Finite Unfoldings of Unbounded Petri Nets.

[BibT_eX]

[DOI]

Christian Neumair

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Potentiale Virtueller Lerngruppen aus Sicht der Psychologie.

[BibT_eX]

Dorothea Tippe

Künstliche Intell., 2003

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.

[BibT_eX]

[DOI]

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Referenzmodellierung 2003 (RefMod2003).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Thomas Erwin

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Modelling and Validation with VipTool.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, International Conference, 2003

Model Validation in Controller Design.

[BibT_eX]

[DOI]

Vesna Milijic

Christian Neumair

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

On the semantics of EPCs: A vicious circle.

[BibT_eX]

[DOI]

Wil M. P. van der Aalst

Ekkart Kindler

Proceedings of the EPK 2002, 2002

Tutorium: Validierung und Verifikation von Prozessmodellen.

[BibT_eX]

[DOI]

Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Model Validation - A Theoretical Issue?

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.

[BibT_eX]

[DOI]

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Wer will virtuell lehren? Wer will virtuell lernen?

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

''What Is a Petri Net?''.

[BibT_eX]

[DOI]

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Teaching system modeling, simulation and validation.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

Modeling, Simulation and Analysis of Business Processes.

[BibT_eX]

[DOI]

Thomas Erwin

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Validation of Process Models by Construction of Process Nets.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Process Semantics of Petri Nets over Partial Algebra.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Simulation und Leistungsbewertung von Geschäftsprozessen.

[BibT_eX]

Thomas Erwin

Wolffried Stucky

Proceedings of the Entwicklungsmethoden für Informationssysteme und deren Anwendung, 1999

Petri Net Process Decomposition with Application to Validation.

[BibT_eX]

[DOI]

Ferucio Laurentiu Tiplea

Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999

1998

Petrinetze als Grundlage der Ablaufmodellierung.

[BibT_eX]

[DOI]

Proceedings of the Modellierung '98, 1998

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.

[BibT_eX]

[DOI]

Ekkart Kindler

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Workshop: Grundlagen der Parallelität.

[BibT_eX]

[DOI]

Horst Reichel

Proceedings of the Informatik '97, 1997

How Distributed Algorithms Play the Token Game.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven.

[BibT_eX]

Andreas Oberweis

Wirtschaftsinf., 1996

Proving Nonreachability by Modulo-Invariants.

[BibT_eX]

[DOI]

Klaus-Peter Neuendorf

M.-D. Radola

Theor. Comput. Sci., 1996

The Synthesis Problem of Petri Nets.

[BibT_eX]

[DOI]

Acta Informatica, 1996

Place or Transition Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

Basic Linear Algebraic Techniques for Place or Transition Nets.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

Shortest Paths in Reachability Graphs.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1995

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

1994

Proving Non-Reachabililty by Modulo-Place-Invariants.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1993

Reachability in Cyclic Extended Free-Choice Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Regular Marked Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993

1992

Traps Characterize Home States in Free Choice Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Compositional Generation of Home States in Free Choice Nets.

[BibT_eX]

[DOI]

Ludmila Cherkasova

Formal Aspects Comput., 1992

A Proof of the Rank Theorem for Extended Free Choice Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1992, 1992

Struktur und Analyse von Free-Choice-Petrinetzen.

[BibT_eX]

[DOI]

DUV Informatik, Deutscher Universitätsverlag, ISBN: 978-3-8244-2030-8, 1992

1991

Compositional Generation of Home States in Free Choice Systems.

[BibT_eX]

[DOI]

Ludmila Cherkasova

Proceedings of the STACS 91, 1991

1990

Reachability in reversible free-choice systems

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Partial Order Behaviour and Structure of Petri Nets.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1990

Reduction and Design of Well-behaved Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

On abstraction of nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1991, 1990

1989

Vicinity respecting net morphisms.

[BibT_eX]

[DOI]

Agathe Merceron

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.

[BibT_eX]

[DOI]