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

TOTAL DOCUMENTS

23

(FIVE YEARS 23)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030518301, 9783030518318

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Information Systems Modeling Suite

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

10.1007/978-3-030-51831-8_22 ◽

2020 ◽

pp. 414-425

Author(s):

Jan Martijn E. M. van der Werf ◽

Artem Polyvyanyy

Keyword(s):

Information Systems ◽

Systems Modeling

Download Full-text

On-the-Fly Synthesis for Strictly Alternating Games

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

10.1007/978-3-030-51831-8_6 ◽

2020 ◽

pp. 109-128

Author(s):

Shyam Lal Karra ◽

Kim Guldstrand Larsen ◽

Marco Muñiz ◽

Jiří Srba

Download Full-text

Dynamic Recursive Petri Nets

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

10.1007/978-3-030-51831-8_17 ◽

2020 ◽

pp. 345-366

Author(s):

Serge Haddad ◽

Igor Khmelnitsky

Keyword(s):

Download Full-text

MCC: A Tool for Unfolding Colored Petri Nets in PNML Format

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

10.1007/978-3-030-51831-8_23 ◽

2020 ◽

pp. 426-435

Author(s):

Silvano Dal Zilio

Keyword(s):

Colored Petri Nets

Download Full-text

Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account

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

10.1007/978-3-030-51831-8_1 ◽

2020 ◽

pp. 3-23

Author(s):

Pierre Bouvier ◽

Hubert Garavel ◽

Hernán Ponce-de-León

Keyword(s):

Automata Networks ◽

Automatic Decomposition

Download Full-text

SNexpression: A Symbolic Calculator for Symmetric Net Expressions

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

10.1007/978-3-030-51831-8_19 ◽

2020 ◽

pp. 381-391

Author(s):

Lorenzo Capra ◽

Massimiliano De Pierro ◽

Giuliana Franceschinis

Keyword(s):

Symbolic Calculator

Download Full-text

Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources

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

10.1007/978-3-030-51831-8_12 ◽

2020 ◽

pp. 239-259

Author(s):

Vadim Denisov ◽

Dirk Fahland ◽

Wil M. P. van der Aalst

Keyword(s):

Performance Analysis ◽

Shared Resources ◽

Download Full-text

PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets

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

10.1007/978-3-030-51831-8_10 ◽

2020 ◽

pp. 196-216

Author(s):

Guanjun Liu

Keyword(s):

Download Full-text

Circular Traffic Queues and Petri’s Cycloids

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

10.1007/978-3-030-51831-8_9 ◽

2020 ◽

pp. 176-195 ◽

Author(s):

Rüdiger Valk

Download Full-text

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

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

10.1007/978-3-030-51831-8_3 ◽

2020 ◽

pp. 46-66

Author(s):

Isabella Kaufmann ◽

Kim Guldstrand Larsen ◽

Jiří Srba

Keyword(s):

Branching Time ◽

Download Full-text