Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets

33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Serge Haddad

    1. Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan, Cachan, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lucia Pomello

    1. Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano–Bicocca, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

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

Included in the following conference series:

Conference proceedings info: PETRI NETS 2012.

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 (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Net Models for Concurrent Object Behaviour

      • Tony Hoare
      Pages 1-2

    2. The Theory of WSTS: The Case of Complete WSTS

      • Alain Finkel, Jean Goubault-Larrecq
      Pages 3-31

  3. Regular Papers

    1. Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods

      • Thomas Mailund, Anders E. Halager, Michael Westergaard
      Pages 32-50

    2. An SMT-Based Discovery Algorithm for C-Nets

      • Marc Solé, Josep Carmona
      Pages 51-71

    3. Decomposing Process Mining Problems Using Passages

      • Wil M. P. van der Aalst
      Pages 72-91

    4. Complexity of the Soundness Problem of Bounded Workflow Nets

      • Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong
      Pages 92-107

    5. Cost Soundness for Priced Resource-Constrained Workflow Nets

      • María Martos-Salgado, Fernando Rosa-Velardo
      Pages 108-127

    6. On the α-Reconstructibility of Workflow Nets

      • Eric Badouel
      Pages 128-147

    7. On Profiles and Footprints – Relational Semantics for Petri Nets

      • Matthias Weidlich, Jan Martijn van der Werf
      Pages 148-167

    8. Data and Abstraction for Scenario-Based Modeling with Petri Nets

      • Dirk Fahland, Robert Prüfer
      Pages 168-187

    9. Maximal Confluent Processes

      • Xu Wang
      Pages 188-207

    10. Old and New Algorithms for Minimal Coverability Sets

      • Antti Valmari, Henri Hansen
      Pages 208-227

    11. Stubborn Sets for Simple Linear Time Properties

      • Andreas Lehmann, Niels Lohmann, Karsten Wolf
      Pages 228-247

    12. Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method

      • Sami Evangelista, Lars Michael Kristensen
      Pages 248-267

    13. Safety Slicing Petri Nets

      • Astrid Rakow
      Pages 268-287

    14. Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets

      • Veronica Gil-Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marin
      Pages 288-307

    15. An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets

      • Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst
      Pages 308-327

    16. Designing Weakly Terminating ROS Systems

      • Debjyoti Bera, Kees M. van Hee, Jan Martijn van der Werf
      Pages 328-347

    17. Nets-within-Nets to Model Innovative Space System Architectures

      • Frédéric Cristini, Catherine Tessier
      Pages 348-367
Back to top

Other volumes

  1. Application and Theory of Petri Nets

Keywords

About this book

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Editors and Affiliations

  • Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan, Cachan, France

    Serge Haddad

  • Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano–Bicocca, Milano, Italy

    Lucia Pomello

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation