![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
36th Petri Nets 2015: Brussels, Belgium
- Raymond R. Devillers, Antti Valmari:
Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Lecture Notes in Computer Science 9115, Springer 2015, ISBN 978-3-319-19487-5 - Benoît Barbot
, Marta Z. Kwiatkowska
:
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. 1-32 - Marlon Dumas
, Luciano García-Bañuelos
:
Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs. 33-48 - Robert Lorenz:
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. 49-76 - Mohammed A. Alqarni
, Ryszard Janicki:
On Interval Process Semantics of Petri Nets with Inhibitor Arcs. 77-97 - Dario Bruneo
, Francesco Longo
, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi:
An SRN-Based Resiliency Quantification Approach. 98-116 - Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon:
Non-atomic Transition Firing in Contextual Nets. 117-136 - Nicolas David, Claude Jard, Didier Lime
, Olivier H. Roux:
Discrete Parameters in Petri Nets. 137-156 - Javier Esparza
, Jörg Desel:
Negotiation Programs. 157-178 - Hubert Garavel:
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. 179-199 - Monika Heiner
, Martin Schwarick, Jan-Thierry Wegener:
Charlie - An Extensible Petri Net Analysis Tool. 200-211 - Éric Badouel, Loïc Hélouët, Christophe Morvan:
Petri Nets with Structured Data. 212-233 - Thomas Hujsa
, Jean-Marc Delosme, Alix Munier Kordon:
On the Reversibility of Live Equal-Conflict Petri Nets. 234-253 - Franck Pommereau:
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper). 254-265 - Marvin Triebel, Jan Sürmeli
:
Characterizing Stable Inequalities of Petri Nets. 266-286 - Wil M. P. van der Aalst
, Anna A. Kalenkova
, Vladimir A. Rubin, Eric Verbeek
:
Process Discovery Using Localized Events. 287-308 - Ákos Hajdu
, András Vörös
, Tamás Bartha:
New Search Strategies for the Petri Net CEGAR Approach. 309-328 - Thomas Wagner, Daniel Moldt:
Workflow Management Principles for Interactions Between Petri Net-Based Agents. 329-349
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.