Application and theory of petri nets and concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, proceedings / Susanna Donatelli, Stefan Haar (eds.)
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (40th : 2019 : Aachen, Germany)
2019
QA267
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Application and theory of petri nets and concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, proceedings / Susanna Donatelli, Stefan Haar (eds.)
Meeting Name
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (40th : 2019 : Aachen, Germany)
ISBN
9783030215712 (electronic book)
9783030215705
3030215717 (electronic book)
Published
Basel : Springer Nature Switzerland AG, [2019]
Copyright
©2019
Language
English
Description
1 online resource (xv, 471 pages) : illustrations.
Call Number
QA267
Dewey Decimal Classification
511.3/5
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, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 11522.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export