default search action
40th Petri Nets 2019: Aachen, Germany
- Susanna Donatelli, Stefan Haar:
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Lecture Notes in Computer Science 11522, Springer 2019, ISBN 978-3-030-21570-5
Models
- Dirk Fahland:
Describing Behavior of Processes with Many-to-Many Interactions. 3-24 - Vitali Schneider, Walter Vogler:
Modal Open Petri Nets. 25-46 - Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico:
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. 47-66
Tools
- Jan Henrik Röwekamp, Daniel Moldt:
RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes. 69-79 - Matteo Camilli, Lorenzo Capra, Carlo Bellettini:
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. 80-90 - Jan Martijn E. M. van der Werf, Lucas Steehouwer:
CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. 91-100 - Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann:
Tools for Curry-Coloured Petri Nets. 101-110
Synthesis
- Raymond R. Devillers:
Articulation of Transition Systems and Its Application to Petri Net Synthesis. 113-126 - Ronny Tredup:
Hardness Results for the Synthesis of b-bounded Petri Nets. 127-147 - Ronny Tredup:
Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets. 148-168
Semantics
- David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Reversing Steps in Petri Nets. 171-191 - Ryszard Janicki:
On Interval Semantics of Inhibitor and Activator Nets. 192-212 - Lukasz Mikulski, Ivan Lanese:
Reversing Unbounded Petri Nets. 213-233
Concurrent Processes
- Mathilde Boltenhagen, Thomas Chatain, Josep Carmona:
Generalized Alignment-Based Trace Clustering of Process Behavior. 237-257 - Lisa Luise Mannel, Wil M. P. van der Aalst:
Finding Complex Process-Structures by Exploiting the Token-Game. 258-278 - Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri. 279-297
Algorithmic Aspects
- Shruti Biswal, Andrew S. Miner:
Improving Saturation Efficiency with Implicit Relations. 301-320 - Torsten Liebke, Karsten Wolf:
Taking Some Burden Off an Explicit CTL Model Checker. 321-341 - Vince Molnár, István Majzik:
Saturation Enhanced with Conditional Locality: Application to Petri Nets. 342-361
Parametrics and Combinatorics
- Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy:
Parameterized Analysis of Immediate Observation Petri Nets. 365-385 - Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski:
The Combinatorics of Barrier Synchronization. 386-405 - Didier Lime, Olivier H. Roux, Charlotte Seidner:
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. 406-425
Models with Extensions
- Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Coverability and Termination in Recursive Petri Nets. 429-448 - Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities. 449-469
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.