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

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662583807, 9783662583814
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals MCC’2017 – The Seventh Model Checking Contest

2018 ◽  
pp. 181-209 ◽  
Author(s):  
Fabrice Kordon ◽  
Hubert Garavel ◽  
Lom Messan Hillah ◽  
Emmanuel Paviot-Adet ◽  
Loïg Jezequel ◽  
...  
Keyword(s):  
Model Checking

Computing Alignments of Event Data and Process Models

2018 ◽  
pp. 1-26 ◽  
Author(s):  
Sebastiaan J. van Zelst ◽  
Alfredo Bolt ◽  
Boudewijn F. van Dongen
Keyword(s):  
Process Models ◽  
Event Data

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

2018 ◽  
pp. 73-92 ◽  
Author(s):  
Elvio Gilberto Amparore ◽  
Susanna Donatelli ◽  
Marco Beccuti ◽  
Giulio Garbi ◽  
Andrew Miner
Keyword(s):  
Petri Nets ◽  
Decision Diagrams ◽  
Variable Ordering ◽  
Ordering Algorithms

scholarly journals On Stability of Regional Orthomodular Posets

2018 ◽  
pp. 52-72
Author(s):  
Luca Bernardinello ◽  
Carlo Ferigato ◽  
Lucia Pomello ◽  
Adrián Puerto Aubel
Keyword(s):  
Orthomodular Posets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document