| Description |
1 online resource (xv, 471 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 11522 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11522. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Models -- Describing Behavior of Processes with Many-to-Many Interactions / Dirk Fahland -- Modal Open Petri Nets / Vitali Schneider, Walter Vogler -- Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums / Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico -- Tools -- RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes / Jan Henrik Röwekamp, Daniel Moldt -- PNemu: An Extensible Modeling Library for Adaptable Distributed Systems / Matteo Camilli, Lorenzo Capra, Carlo Bellettini -- CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction / Jan Martijn E.M. van der Werf, Lucas Steehouwer -- Tools for Curry-Coloured Petri Nets / Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann -- Synthesis -- Articulation of Transition Systems and Its Application to Petri Net Synthesis / Raymond Devillers -- Hardness Results for the Synthesis of b-bounded Petri Nets / Ronny Tredup -- Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets / Ronny Tredup -- Semantics -- Reversing Steps in Petri Nets / David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski -- On Interval Semantics of Inhibitor and Activator Nets / Ryszard Janicki -- Reversing Unbounded Petri Nets -- Łukasz Mikulski, Ivan Lanese -- Concurrent Processes -- Generalized Alignment-Based Trace Clustering of Process Behavior / Mathilde Boltenhagen, Thomas Chatain, Josep Carmona -- Finding Complex Process-Structures by Exploiting the Token-Game / Lisa Luise Mannel, Wil M.P. van der Aalst -- Concurrent Programming from pseuCo to Petri / Felix Freiberger, Holger Hermanns -- Algorithmic Aspects -- Improving Saturation Efficiency with Implicit Relations / Shruti Biswal, Andrew S. Miner -- Taking Some Burden Off an Explicit CTL Model Checker / Torsten Liebke, Karsten Wolf -- Saturation Enhanced with Conditional Locality: Application to Petri Nets / Vince Molnár, István Majzik -- Parametrics and Combinatorics -- Parameterized Analysis of Immediate Observation Petri Nets / Javier Esparza, Mikhail Raskin, Chana Weil-Kennedy -- The Combinatorics of Barrier Synchronization / Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski -- Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets / Didier Lime, Olivier H. Roux, Charlotte Seidner -- Models with Extensions -- Coverability and Termination in Recursive Petri Nets / Alain Finkel, Serge Haddad, Igor Khmelnitsky -- From DB-nets to Coloured Petri Nets with Priorities / Marco Montali, Andrey Rivkin |
| Summary |
"This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions."--Publisher's website |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Petri nets -- Congresses
|
|
Computer multitasking -- Congresses
|
|
Computer multitasking
|
|
Petri nets
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| ISBN |
9783030215712 |
|
3030215717 |
|
