Skip to main content
SpringerLink
Log in

Applications and Theory of Petri Nets

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Johan Lilius

    1. Department of Information Technologies, Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wojciech Penczek

    1. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6128)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  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

    4. A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

      • Lars M. Kristensen
      Pages 39-42

  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. A Characterization of Combined Traces Using Labeled Stratified Order Structures

      • Dai Tri Man Lê
      Pages 104-124

    5. Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets

      • Oleg Gusikhin, Erica Klampfl
      Pages 125-144

    6. 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

    7. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets

      • Thomas Chatain, Eric Fabre
      Pages 165-184

    8. Forward Analysis for Petri Nets with Name Creation

      • Fernando Rosa-Velardo, David de Frutos-Escrig
      Pages 185-205

    9. Learning Workflow Petri Nets

      • Javier Esparza, Martin Leucker, Maximilian Schlund
      Pages 206-225

    10. Process Mining from a Basis of State Regions

      • Marc Solé, Josep Carmona
      Pages 226-245

    11. Separability in Persistent Petri Nets

      • Eike Best, Philippe Darondeau
      Pages 246-266

    12. 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
Back to top

Other volumes

  1. Applications and Theory of Petri Nets

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation