default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID39th Petri Nets 2018: Bratislava, Slovakia
- Victor Khomenko, Olivier H. Roux
:
Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Lecture Notes in Computer Science 10877, Springer 2018, ISBN 978-3-319-91267-7
Invited Talk
- Fabrice Kordon, Yann Thierry-Mieg:
Self-adaptive Model Checking, the Next Step? 3-15
Petri Net Synthesis
- Raymond Devillers, Thomas Hujsa:
Analysis and Synthesis of Weighted Marked Graph Petri Nets. 19-39 - Ronny Tredup, Christian Rosenke, Karsten Wolf:
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. 40-59 - Karsten Wolf:
Petri Net Synthesis with Union/Find. 60-81 - Raymond Devillers, Uli Schlachter:
Factorisation of Petri Net Solvable Transition Systems. 82-98 - Uli Schlachter, Harro Wimmel:
A Geometric Characterisation of Event/State Separation. 99-116 - Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite:
From Event-Oriented Models to Transition Systems. 117-139
Analysis and Model Checking
- Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba:
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. 143-163 - Engel Lefaucheux, Alessandro Giua, Carla Seatzu:
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. 164-183 - Petr Jancar, Jérôme Leroux, Grégoire Sutre:
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. 184-203
Languages
- David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
An Efficient Characterization of Petri Net Solvable Binary Words. 207-226 - Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski:
Pattern Matching in Link Streams: A Token-Based Approach. 227-247
Semantics and Expressiveness
- Ryszard Janicki:
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. 251-271 - Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. 272-293 - Rüdiger Valk:
On the Structure of Cycloids Introduced by Carl Adam Petri. 294-314 - Wil M. P. van der Aalst:
Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions. 315-336
Tools
- Ekkart Kindler:
ePNK Applications and Annotations: A Simulator for YAWL Nets. 339-350 - Karsten Wolf:
Petri Net Model Checking with LoLA 2. 351-362 - Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad:
Integrating Simulink Models into the Model Checker Cosmos. 363-373 - Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma:
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World. 374-384 - Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon:
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. 385-395 - Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira:
Arduino Library Developed for Petri Net Inserted into RFID Database and Variants. 396-405 - Christoph Brinkrolf, Philo Reipke:
OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica. 406-415 - Elvio Gilberto Amparore, Susanna Donatelli:
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. 416-425
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.
last updated on 2026-03-08 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
