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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030518301, 9783030518318
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Dynamic Recursive Petri Nets

2020 ◽  
pp. 345-366
Author(s):  
Serge Haddad ◽  
Igor Khmelnitsky
Keyword(s):  
Petri Nets

scholarly journals The Information Systems Modeling Suite

2020 ◽  
pp. 414-425
Author(s):  
Jan Martijn E. M. van der Werf ◽  
Artem Polyvyanyy
Keyword(s):  
Information Systems ◽  
Systems Modeling

scholarly journals On-the-Fly Synthesis for Strictly Alternating Games

2020 ◽  
pp. 109-128
Author(s):  
Shyam Lal Karra ◽  
Kim Guldstrand Larsen ◽  
Marco Muñiz ◽  
Jiří Srba

scholarly journals SNexpression: A Symbolic Calculator for Symmetric Net Expressions

2020 ◽  
pp. 381-391
Author(s):  
Lorenzo Capra ◽  
Massimiliano De Pierro ◽  
Giuliana Franceschinis
Keyword(s):  
Symbolic Calculator

scholarly journals Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

2020 ◽  
pp. 46-66
Author(s):  
Isabella Kaufmann ◽  
Kim Guldstrand Larsen ◽  
Jiří Srba
Keyword(s):  
Branching Time ◽  
Weighted Games
Load More ...
Sign in / Sign up

Export Citation Format

Share Document