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

scholarly journals A Turn-Based Approach for Qualitative Time Concurrent Games

2021 ◽  
pp. 76-92
Author(s):  
Serge Haddad ◽  
Didier Lime ◽  
Olivier H. Roux

Abstraction-Based Incremental Inductive Coverability for Petri Nets

2021 ◽  
pp. 379-398
Author(s):  
Jiawen Kang ◽  
Yunjun Bai ◽  
Li Jiao
Keyword(s):  
Petri Nets

scholarly journals Computing Parameterized Invariants of Parameterized Petri Nets

2021 ◽  
pp. 141-163
Author(s):  
Javier Esparza ◽  
Mikhail Raskin ◽  
Christoph Welzel
Keyword(s):  
Petri Nets

scholarly journals Flat Petri Nets (Invited Talk)

2021 ◽  
pp. 17-30
Author(s):  
Jérôme Leroux
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document