default search action

combined dblp search
author search
venue search
publication search

ask others

36th Petri Nets 2015: Brussels, Belgium

> Home > Conferences and Workshops > Petri Nets

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2015
Raymond 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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarbotK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarbotK15
Benoît Barbot, Marta Z. Kwiatkowska:
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. 1-32
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DumasG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DumasG15
Marlon Dumas, Luciano García-Bañuelos:
Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs. 33-48
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Lorenz15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Lorenz15
Robert Lorenz:
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. 49-76
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AlqarniJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AlqarniJ15
Mohammed A. Alqarni, Ryszard Janicki:
On Interval Process Semantics of Petri Nets with Inhibitor Arcs. 77-97
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BruneoLSPGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BruneoLSPGT15
Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi:
An SRN-Based Resiliency Quantification Approach. 98-116
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChatainHKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChatainHKS15
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon:
Non-atomic Transition Firing in Contextual Nets. 117-136
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DavidJLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DavidJLR15
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets. 137-156
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EsparzaD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EsparzaD15
Javier Esparza, Jörg Desel:
Negotiation Programs. 157-178
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Garavel15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Garavel15
Hubert Garavel:
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. 179-199
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HeinerSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HeinerSW15
Monika Heiner, Martin Schwarick, Jan-Thierry Wegener:
Charlie - An Extensible Petri Net Analysis Tool. 200-211
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BadouelHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BadouelHM15
Éric Badouel, Loïc Hélouët, Christophe Morvan:
Petri Nets with Structured Data. 212-233
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HujsaDK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HujsaDK15
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon:
On the Reversibility of Live Equal-Conflict Petri Nets. 234-253
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Pommereau15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Pommereau15
Franck Pommereau:
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper). 254-265
- view
  authority control:
- export record
  dblp key:
  - conf/apn/TriebelS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/TriebelS15
Marvin Triebel, Jan Sürmeli:
Characterizing Stable Inequalities of Petri Nets. 266-286
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AalstKRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AalstKRV15
Wil M. P. van der Aalst, Anna A. Kalenkova, Vladimir A. Rubin, Eric Verbeek:
Process Discovery Using Localized Events. 287-308
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HajduVB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HajduVB15
Ákos Hajdu, András Vörös, Tamás Bartha:
New Search Strategies for the Petri Net CEGAR Approach. 309-328
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WagnerM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WagnerM15
Thomas Wagner, Daniel Moldt:
Workflow Management Principles for Interactions Between Petri Net-Based Agents. 329-349

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.