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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030215705, 9783030215712

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 2

Author(s):

Javier Esparza ◽

Mikhail Raskin ◽

Chana Weil-Kennedy

Keyword(s):

Petri Nets

Download Full-text

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 ◽

Cited By ~ 1

Author(s):

Lisa Luise Mannel ◽

Wil M. P. van der Aalst

Keyword(s):

Complex Process

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

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):

Petri Nets

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 8

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

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 ◽

Cited By ~ 6

Author(s):

Ronny Tredup

Keyword(s):

Petri Nets

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 ◽

Cited By ~ 3

Author(s):

David de Frutos Escrig ◽

Maciej Koutny ◽

Łukasz Mikulski

Keyword(s):

Petri Nets

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):

Petri Nets

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Parameterized Analysis of Immediate Observation Petri Nets

Finding Complex Process-Structures by Exploiting the Token-Game

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems

Reversing Unbounded Petri Nets

Generalized Alignment-Based Trace Clustering of Process Behavior

Describing Behavior of Processes with Many-to-Many Interactions

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

Hardness Results for the Synthesis of b-bounded Petri Nets

Reversing Steps in Petri Nets

Modal Open Petri Nets

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