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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319578606, 9783319578613

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Getting the Priorities Right: Saturation for Prioritised Petri Nets

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

10.1007/978-3-319-57861-3_14 ◽

2017 ◽

pp. 223-242 ◽

Cited By ~ 2

Author(s):

Kristóf Marussy ◽

Vince Molnár ◽

András Vörös ◽

István Majzik

Keyword(s):

Petri Nets

Download Full-text

Restricting Hornets to Support Self-adaptive Systems

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

10.1007/978-3-319-57861-3_17 ◽

2017 ◽

pp. 288-306

Author(s):

Michael Köhler-Bußmeier

Keyword(s):

Adaptive Systems ◽

Self Adaptive

Download Full-text

Weak Observable Liveness and Infinite Games on Finite Graphs

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

10.1007/978-3-319-57861-3_12 ◽

2017 ◽

pp. 181-199

Author(s):

Luca Bernardinello ◽

Görkem Kılınç ◽

Lucia Pomello

Keyword(s):

Infinite Games ◽

Finite Graphs

Download Full-text

Model Checking Concurrency and Causality

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

10.1007/978-3-319-57861-3_11 ◽

2017 ◽

pp. 159-178

Author(s):

Karsten Wolf

Keyword(s):

Model Checking

Download Full-text

Modelling and Evaluation of a Control Room Application

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

10.1007/978-3-319-57861-3_15 ◽

2017 ◽

pp. 243-263 ◽

Cited By ~ 1

Author(s):

Elvio Gilberto Amparore ◽

Susanna Donatelli ◽

Elisa Landini

Keyword(s):

Control Room

Download Full-text

Complexity Made Simple (at a Small Price)

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

10.1007/978-3-319-57861-3_2 ◽

2017 ◽

pp. 12-18

Author(s):

Christos G. Cassandras

Download Full-text

Resource Equivalences in Petri Nets

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

10.1007/978-3-319-57861-3_3 ◽

2017 ◽

pp. 19-34 ◽

Cited By ~ 1

Author(s):

Irina A. Lomazova

Keyword(s):

Petri Nets

Download Full-text

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

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

10.1007/978-3-319-57861-3_7 ◽

2017 ◽

pp. 101-111 ◽

Cited By ~ 1

Author(s):

Benjamin Meis ◽

Robin Bergenthum ◽

Jörg Desel

Keyword(s):

Petri Nets ◽

Final States ◽

Online Tool

Download Full-text

On Liveness and Deadlockability in Subclasses of Weighted Petri Nets

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

10.1007/978-3-319-57861-3_16 ◽

2017 ◽

pp. 267-287 ◽

Cited By ~ 2

Author(s):

Thomas Hujsa ◽

Raymond Devillers

Keyword(s):

Petri Nets

Download Full-text

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools

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

10.1007/978-3-319-57861-3_9 ◽

2017 ◽

pp. 125-135 ◽

Cited By ~ 5

Author(s):

Lom Messan Hillah ◽

Fabrice Kordon

Keyword(s):

Petri Nets ◽

Petri Net

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Getting the Priorities Right: Saturation for Prioritised Petri Nets

Restricting Hornets to Support Self-adaptive Systems

Weak Observable Liveness and Infinite Games on Finite Graphs

Model Checking Concurrency and Causality

Modelling and Evaluation of a Control Room Application

Complexity Made Simple (at a Small Price)

Resource Equivalences in Petri Nets

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

On Liveness and Deadlockability in Subclasses of Weighted Petri Nets

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools

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