Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 9)

H-INDEX

(FIVE YEARS 2)

Published By Springer Berlin Heidelberg

9783662606506, 9783662606513

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_9 ◽

2019 ◽

pp. 222-254 ◽

Cited By ~ 1

Author(s):

Uli Schlachter ◽

Harro Wimmel

Keyword(s):

Petri Net ◽

Petri Net Synthesis ◽

Separation Problems

Download Full-text

Evaluating Conformance Measures in Process Mining Using Conformance Propositions

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_8 ◽

2019 ◽

pp. 192-221 ◽

Cited By ~ 7

Author(s):

Anja F. Syring ◽

Niek Tax ◽

Wil M. P. van der Aalst

Keyword(s):

Process Mining

Download Full-text

How Petri Net Theory Serves Petri Net Model Checking: A Survey

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_2 ◽

2019 ◽

pp. 36-63

Author(s):

Karsten Wolf

Keyword(s):

Model Checking ◽

Petri Net

Download Full-text

Parametric Verification: An Introduction

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_3 ◽

2019 ◽

pp. 64-100

Author(s):

Étienne André ◽

Michał Knapik ◽

Didier Lime ◽

Wojciech Penczek ◽

Laure Petrucci

Download Full-text

Kleene Theorems for Free Choice Automata over Distributed Alphabets

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_6 ◽

2019 ◽

pp. 146-171 ◽

Cited By ~ 1

Author(s):

Ramchandra Phawade

Keyword(s):

Free Choice

Download Full-text

Formal Modelling and Incremental Verification of the MQTT IoT Protocol

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_5 ◽

2019 ◽

pp. 126-145 ◽

Cited By ~ 2

Author(s):

Alejandro Rodríguez ◽

Lars Michael Kristensen ◽

Adrian Rutle

Keyword(s):

Formal Modelling

Download Full-text

A Tour in Process Mining: From Practice to Algorithmic Challenges

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_1 ◽

2019 ◽

pp. 1-35

Author(s):

Wil van der Aalst ◽

Josep Carmona ◽

Thomas Chatain ◽

Boudewijn van Dongen

Keyword(s):

Process Mining

Download Full-text

Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_4 ◽

2019 ◽

pp. 101-125

Author(s):

David Mosteller ◽

Michael Haustermann ◽

Daniel Moldt ◽

Dennis Schmitz

Keyword(s):

Petri Net ◽

Modeling Languages ◽

Integrated Simulation ◽

Domain Specific ◽

Domain Specific Modeling ◽

Specific Modeling

Download Full-text

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_7 ◽

2019 ◽

pp. 172-191

Author(s):

Raymond Devillers ◽

Evgeny Erofeev ◽

Thomas Hujsa

Keyword(s):

Geometric Approach ◽

Transition Systems ◽

Labelled Transition Systems ◽

Marked Graphs

Download Full-text

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

Evaluating Conformance Measures in Process Mining Using Conformance Propositions

How Petri Net Theory Serves Petri Net Model Checking: A Survey

Parametric Verification: An Introduction

Kleene Theorems for Free Choice Automata over Distributed Alphabets

Formal Modelling and Incremental Verification of the MQTT IoT Protocol

A Tour in Process Mining: From Practice to Algorithmic Challenges

Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science
Latest Publications