default search action

combined dblp search
author search
venue search
publication search

ask others

31st Petri Nets 2010: Braga, Portugal

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2010
Johan Lilius, Wojciech Penczek:
Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science 6128, Springer 2010, ISBN 978-3-642-13674-0

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasKJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasKJ10
Gabriel Juhás, Igor Kazlov, Ana Juhásová:
Instance Deadlock: A Mystery behind Frozen Programs. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Harel10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Harel10
David Harel:
Some Thoughts on Behavioral Programming. 18
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KleijnK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KleijnK10
Jetty Kleijn, Maciej Koutny:
Petri Nets with Localities and Testing. 19-38
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Kristensen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Kristensen10
Lars Michael Kristensen:
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. 39-42

Full Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/ValmariH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ValmariH10
Antti Valmari, Henri Hansen:
Can Stubborn Sets Be Optimal? 43-62
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WeidlichPMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WeidlichPMW10
Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske:
Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. 63-83
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WangJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WangJ10
Yunhe Wang, Li Jiao:
Canonical Transition Set Semantics for Petri Nets. 84-103
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Le10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Le10
Dai Tri Man Le:
A Characterization of Combined Traces Using Labeled Stratified Order Structures. 104-124
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GusikhinK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GusikhinK10
Oleg Yu. Gusikhin, Erica Klampfl:
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets. 125-144
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChoppyDEHKP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChoppyDEHKP10
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci:
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. 145-164
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChatainF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChatainF10
Thomas Chatain, Eric Fabre:
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. 165-184
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VelardoF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VelardoF10
Fernando Rosa-Velardo, David de Frutos-Escrig:
Forward Analysis for Petri Nets with Name Creation. 185-205
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EsparzaLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EsparzaLS10
Javier Esparza, Martin Leucker, Maximilian Schlund:
Learning Workflow Petri Nets. 206-225
- view
  authority control:
- export record
  dblp key:
  - conf/apn/SoleC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SoleC10
Marc Solé, Josep Carmona:
Process Mining from a Basis of State Regions. 226-245
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD10
Eike Best, Philippe Darondeau:
Separability in Persistent Petri Nets. 246-266
- view
  authority control:
- export record
  dblp key:
  - conf/apn/OaneaWW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/OaneaWW10
Olivia Oanea, Harro Wimmel, Karsten Wolf:
New Algorithms for Deciding the Siphon-Trap Property. 267-286

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BuchsHMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BuchsHMR10
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: A Symbolic Model Checker. 287-296
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LohmannW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LohmannW10
Niels Lohmann, Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services. 297-307
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BabarBDM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BabarBDM10
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner:
GreatSPN Enhanced with Decision Diagram Data Structures. 308-317
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HillahKPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HillahKPT10
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves:
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. 318-327

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.