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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319578606, 9783319578613
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Getting the Priorities Right: Saturation for Prioritised Petri Nets

2017 ◽  
pp. 223-242 ◽  
Author(s):  
Kristóf Marussy ◽  
Vince Molnár ◽  
András Vörös ◽  
István Majzik
Keyword(s):  
Petri Nets

Weak Observable Liveness and Infinite Games on Finite Graphs

2017 ◽  
pp. 181-199
Author(s):  
Luca Bernardinello ◽  
Görkem Kılınç ◽  
Lucia Pomello
Keyword(s):  
Infinite Games ◽  
Finite Graphs

scholarly journals Modelling and Evaluation of a Control Room Application

2017 ◽  
pp. 243-263 ◽  
Author(s):  
Elvio Gilberto Amparore ◽  
Susanna Donatelli ◽  
Elisa Landini
Keyword(s):  
Control Room

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States

2017 ◽  
pp. 101-111 ◽  
Author(s):  
Benjamin Meis ◽  
Robin Bergenthum ◽  
Jörg Desel
Keyword(s):  
Petri Nets ◽  
Final States ◽  
Online Tool
Load More ...
Sign in / Sign up

Export Citation Format

Share Document