Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 24)

H-INDEX

3

(FIVE YEARS 3)

Published By Springer International Publishing

9783030215705, 9783030215712

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finding Complex Process-Structures by Exploiting the Token-Game

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_15 ◽

2019 ◽

pp. 258-278 ◽

Author(s):

Lisa Luise Mannel ◽

Wil M. P. van der Aalst

Keyword(s):

Complex Process

Download Full-text

Parameterized Analysis of Immediate Observation Petri Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_20 ◽

2019 ◽

pp. 365-385 ◽

Author(s):

Javier Esparza ◽

Mikhail Raskin ◽

Chana Weil-Kennedy

Keyword(s):

Download Full-text

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_5 ◽

2019 ◽

pp. 80-90

Author(s):

Matteo Camilli ◽

Lorenzo Capra ◽

Carlo Bellettini

Keyword(s):

Distributed Systems

Download Full-text

Hardness Results for the Synthesis of b-bounded Petri Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_9 ◽

2019 ◽

pp. 127-147 ◽

Author(s):

Ronny Tredup

Keyword(s):

Download Full-text

Reversing Steps in Petri Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_11 ◽

2019 ◽

pp. 171-191 ◽

Author(s):

David de Frutos Escrig ◽

Maciej Koutny ◽

Łukasz Mikulski

Keyword(s):

Download Full-text

Reversing Unbounded Petri Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_13 ◽

2019 ◽

pp. 213-233

Author(s):

Łukasz Mikulski ◽

Ivan Lanese

Keyword(s):

Download Full-text

Generalized Alignment-Based Trace Clustering of Process Behavior

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_14 ◽

2019 ◽

pp. 237-257 ◽

Author(s):

Mathilde Boltenhagen ◽

Thomas Chatain ◽

Josep Carmona

Keyword(s):

Process Behavior

Download Full-text

Describing Behavior of Processes with Many-to-Many Interactions

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_1 ◽

2019 ◽

pp. 3-24 ◽

Author(s):

Dirk Fahland

Download Full-text

CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_6 ◽

2019 ◽

pp. 91-100

Author(s):

Jan Martijn E. M. van der Werf ◽

Lucas Steehouwer

Keyword(s):

Intelligent Tutoring ◽

Intelligent Tutoring System ◽

Tutoring System

Download Full-text

Modal Open Petri Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21571-2_2 ◽

2019 ◽

pp. 25-46

Author(s):

Vitali Schneider ◽

Walter Vogler

Keyword(s):

Download Full-text