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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662583807, 9783662583814

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Heuristic Mining Approaches for High-Utility Local Process Models

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

10.1007/978-3-662-58381-4_2 ◽

2018 ◽

pp. 27-51 ◽

Cited By ~ 2

Author(s):

Benjamin Dalmas ◽

Niek Tax ◽

Sylvie Norre

Keyword(s):

Process Models ◽

Local Process ◽

High Utility

Download Full-text

MCC’2017 – The Seventh Model Checking Contest

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

10.1007/978-3-662-58381-4_9 ◽

2018 ◽

pp. 181-209 ◽

Cited By ~ 8

Author(s):

Fabrice Kordon ◽

Hubert Garavel ◽

Lom Messan Hillah ◽

Emmanuel Paviot-Adet ◽

Loïg Jezequel ◽

...

Keyword(s):

Model Checking

Download Full-text

GPU Computations and Memory Access Model Based on Petri Nets

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

10.1007/978-3-662-58381-4_7 ◽

2018 ◽

pp. 136-157

Author(s):

Anna Gogolińska ◽

Łukasz Mikulski ◽

Marcin Piątkowski

Keyword(s):

Petri Nets ◽

Memory Access ◽

Model Based ◽

Access Model

Download Full-text

Computing Alignments of Event Data and Process Models

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

10.1007/978-3-662-58381-4_1 ◽

2018 ◽

pp. 1-26 ◽

Cited By ~ 1

Author(s):

Sebastiaan J. van Zelst ◽

Alfredo Bolt ◽

Boudewijn F. van Dongen

Keyword(s):

Process Models ◽

Event Data

Download Full-text

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

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

10.1007/978-3-662-58381-4_8 ◽

2018 ◽

pp. 158-180

Author(s):

Rui Wang ◽

Lars Michael Kristensen ◽

Hein Meling ◽

Volker Stolz

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Model Based ◽

Model Based Testing

Download Full-text

Complexity Aspects of Web Services Composition

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

10.1007/978-3-662-58381-4_6 ◽

2018 ◽

pp. 116-135

Author(s):

Karima Ennaoui ◽

Lhouari Nourine ◽

Farouk Toumani

Keyword(s):

Web Services ◽

Web Services Composition ◽

Services Composition

Download Full-text

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms

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

10.1007/978-3-662-58381-4_4 ◽

2018 ◽

pp. 73-92 ◽

Cited By ~ 9

Author(s):

Elvio Gilberto Amparore ◽

Susanna Donatelli ◽

Marco Beccuti ◽

Giulio Garbi ◽

Andrew Miner

Keyword(s):

Petri Nets ◽

Decision Diagrams ◽

Variable Ordering ◽

Ordering Algorithms

Download Full-text

Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets

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

10.1007/978-3-662-58381-4_5 ◽

2018 ◽

pp. 93-115 ◽

Cited By ~ 1

Author(s):

Pascale Möller ◽

Michael Haustermann ◽

David Mosteller ◽

Dennis Schmitz

Keyword(s):

Model Synchronization ◽

Concurrent Simulation

Download Full-text

On Stability of Regional Orthomodular Posets

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

10.1007/978-3-662-58381-4_3 ◽

2018 ◽

pp. 52-72

Author(s):

Luca Bernardinello ◽

Carlo Ferigato ◽

Lucia Pomello ◽

Adrián Puerto Aubel

Keyword(s):

Orthomodular Posets

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Heuristic Mining Approaches for High-Utility Local Process Models

MCC’2017 – The Seventh Model Checking Contest

GPU Computations and Memory Access Model Based on Petri Nets

Computing Alignments of Event Data and Process Models

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

Complexity Aspects of Web Services Composition

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms

Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets

On Stability of Regional Orthomodular Posets

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