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

TOTAL DOCUMENTS

9

(FIVE YEARS 9)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662630785, 9783662630792

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement

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

10.1007/978-3-662-63079-2_1 ◽

2021 ◽

pp. 1-26

Author(s):

Alessandro Berti ◽

Wil M. P. van der Aalst

Keyword(s):

Conformance Checking ◽

Download Full-text

Stability of Regional Orthomodular Posets Under Synchronisation and Refinement

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

10.1007/978-3-662-63079-2_3 ◽

2021 ◽

pp. 50-74

Author(s):

Federica Adobbati ◽

Carlo Ferigato ◽

Stefano Gandelli ◽

Adrián Puerto Aubel

Keyword(s):

Orthomodular Posets

Download Full-text

The Complexity of Synthesizing $$\textsf {nop}$$-Equipped Boolean Petri Nets from g-Bounded Inputs

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

10.1007/978-3-662-63079-2_5 ◽

2021 ◽

pp. 101-125

Author(s):

Ronny Tredup

Keyword(s):

Download Full-text

Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond

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

10.1007/978-3-662-63079-2_4 ◽

2021 ◽

pp. 75-100

Author(s):

Raymond Devillers ◽

Evgeny Erofeev ◽

Thomas Hujsa

Keyword(s):

Efficient Synthesis ◽

Reachability Graph ◽

Download Full-text

Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms

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

10.1007/978-3-662-63079-2_8 ◽

2021 ◽

pp. 165-183

Author(s):

Alejandro Rodríguez ◽

Lars Michael Kristensen ◽

Adrian Rutle

Keyword(s):

Download Full-text

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach

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

10.1007/978-3-662-63079-2_7 ◽

2021 ◽

pp. 150-164

Author(s):

Torsten Liebke ◽

Karsten Wolf

Keyword(s):

Linear Path ◽

Download Full-text

Correction to: Transactions on Petri Nets and Other Models of Concurrency XV

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

10.1007/978-3-662-63079-2_9 ◽

2021 ◽

pp. C1-C1

Author(s):

Maciej Koutny ◽

Fabrice Kordon ◽

Lucia Pomello

Keyword(s):

Models Of Concurrency

Download Full-text

Extensible Structural Analysis of Petri Net Product Lines

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

10.1007/978-3-662-63079-2_2 ◽

2021 ◽

pp. 27-49

Author(s):

Elena Gómez-Martínez ◽

Juan de Lara ◽

Esther Guerra

Keyword(s):

Structural Analysis ◽

Petri Net ◽

Download Full-text

A Two-Player Asynchronous Game on Fully Observable Petri Nets

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

10.1007/978-3-662-63079-2_6 ◽

2021 ◽

pp. 126-149

Author(s):

Federica Adobbati ◽

Luca Bernardinello ◽

Lucia Pomello

Keyword(s):

Download Full-text