Skip to main content
  • Conference proceedings
  • © 2010

Applications and Theory of Petri Nets

31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

Conference proceedings info: PETRI NETS 2010.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (20 papers)

  1. Front Matter

  2. Invited Papers

    1. Instance Deadlock: A Mystery behind Frozen Programs

      • Gabriel Juhás, Igor Kazlov, Ana Juhásová
      Pages 1-17
    2. Some Thoughts on Behavioral Programming

      • David Harel
      Pages 18-18
    3. Petri Nets with Localities and Testing

      • Jetty Kleijn, Maciej Koutny
      Pages 19-38
  3. Full Papers

    1. Can Stubborn Sets Be Optimal?

      • Antti Valmari, Henri Hansen
      Pages 43-62
    2. Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition

      • Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske
      Pages 63-83
    3. Canonical Transition Set Semantics for Petri Nets

      • Yunhe Wang, Li Jiao
      Pages 84-103
    4. The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

      • Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
      Pages 145-164
    5. Forward Analysis for Petri Nets with Name Creation

      • Fernando Rosa-Velardo, David de Frutos-Escrig
      Pages 185-205
    6. Learning Workflow Petri Nets

      • Javier Esparza, Martin Leucker, Maximilian Schlund
      Pages 206-225
    7. Process Mining from a Basis of State Regions

      • Marc Solé, Josep Carmona
      Pages 226-245
    8. Separability in Persistent Petri Nets

      • Eike Best, Philippe Darondeau
      Pages 246-266
    9. New Algorithms for Deciding the Siphon-Trap Property

      • Olivia Oanea, Harro Wimmel, Karsten Wolf
      Pages 267-286
  4. Tool Papers

    1. AlPiNA: A Symbolic Model Checker

      • Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
      Pages 287-296
    2. Wendy: A Tool to Synthesize Partners for Services

      • Niels Lohmann, Daniela Weinberg
      Pages 297-307
    3. GreatSPN Enhanced with Decision Diagram Data Structures

      • Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew Miner
      Pages 308-317

Other Volumes

  1. Applications and Theory of Petri Nets

Keywords

  • Factor
  • algorithms
  • behavioral programming
  • colored petri nets
  • data structures
  • deadlocks
  • distributed systems
  • modeling
  • modeling language
  • petri nets
  • process mining
  • programming
  • real-time systems
  • state space
  • verification

Editors and Affiliations

  • Department of Information Technologies, Åbo Akademi University, Turku, Finland

    Johan Lilius

  • Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    Wojciech Penczek

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions