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

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):

Download Full-text

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 ◽

Author(s):

Kristóf Marussy ◽

Vince Molnár ◽

András Vörös ◽

István Majzik

Keyword(s):

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 ◽

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 ◽

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 ◽

Author(s):

Elvio Gilberto Amparore ◽

Susanna Donatelli ◽

Elisa Landini

Keyword(s):

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 ◽

Author(s):

Irina A. Lomazova

Keyword(s):

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 ◽

Author(s):

Benjamin Meis ◽

Robin Bergenthum ◽

Jörg Desel

Keyword(s):

Final States ◽

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 ◽

Author(s):

Thomas Hujsa ◽

Raymond Devillers

Keyword(s):

Download Full-text

An Integrated Environment for Petri Net Slicing

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

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

2017 ◽

pp. 112-124 ◽

Author(s):

Marisa Llorens ◽

Javier Oliver ◽

Josep Silva ◽

Salvador Tamarit

Keyword(s):

Petri Net ◽

Integrated Environment

Download Full-text