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

TOTAL DOCUMENTS

24

(FIVE YEARS 24)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030769826, 9783030769833

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Turn-Based Approach for Qualitative Time Concurrent Games

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

10.1007/978-3-030-76983-3_5 ◽

2021 ◽

pp. 76-92

Author(s):

Serge Haddad ◽

Didier Lime ◽

Olivier H. Roux

Download Full-text

Deterministic Concurrent Systems

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

10.1007/978-3-030-76983-3_21 ◽

2021 ◽

pp. 423-442

Author(s):

Samy Abbes

Keyword(s):

Concurrent Systems

Download Full-text

Computing Parameterized Invariants of Parameterized Petri Nets

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

10.1007/978-3-030-76983-3_8 ◽

2021 ◽

pp. 141-163

Author(s):

Javier Esparza ◽

Mikhail Raskin ◽

Christoph Welzel

Keyword(s):

Download Full-text

Flat Petri Nets (Invited Talk)

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

10.1007/978-3-030-76983-3_2 ◽

2021 ◽

pp. 17-30

Author(s):

Jérôme Leroux

Keyword(s):

Download Full-text

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets

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

10.1007/978-3-030-76983-3_17 ◽

2021 ◽

pp. 339-359

Author(s):

Pierre Bouvier ◽

Hubert Garavel

Keyword(s):

Efficient Algorithms

Download Full-text

Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets

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

10.1007/978-3-030-76983-3_12 ◽

2021 ◽

pp. 230-249

Author(s):

Michael Haustermann ◽

David Mosteller ◽

Daniel Moldt

Keyword(s):

Model Checking ◽

Domain Specific ◽

Download Full-text

Topics in Region Theory and Synthesis Problems

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

10.1007/978-3-030-76983-3_1 ◽

2021 ◽

pp. 3-16

Author(s):

Luca Bernardinello

Keyword(s):

Download Full-text

Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized

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

10.1007/978-3-030-76983-3_15 ◽

2021 ◽

pp. 292-311

Author(s):

Ronny Tredup

Keyword(s):

Download Full-text

Abstraction-Based Incremental Inductive Coverability for Petri Nets

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

10.1007/978-3-030-76983-3_19 ◽

2021 ◽

pp. 379-398

Author(s):

Jiawen Kang ◽

Yunjun Bai ◽

Li Jiao

Keyword(s):

Download Full-text

Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable

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

10.1007/978-3-030-76983-3_13 ◽

2021 ◽

pp. 253-273

Author(s):

Ronny Tredup

Keyword(s):

Petri Net ◽

Transition Systems

Download Full-text