Skip to main content
  • Conference proceedings
  • © 2009

Applications and Theory of Petri Nets

30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings

Conference proceedings info: PETRI NETS 2009.

Buy it now

Buying options

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

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

Table of contents (22 papers)

  1. Tool Papers

    1. DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets

      • Monika Heiner, Martin Schwarick, Alexej Tovchigrechko
      Pages 323-332
    2. Workcraft – A Framework for Interpreted Graph Models

      • Ivan Poliakov, Victor Khomenko, Alex Yakovlev
      Pages 333-342
    3. PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description

      • Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi
      Pages 343-352
  2. Back Matter

Other Volumes

  1. Applications and Theory of Petri Nets

About this book

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented.

Editors and Affiliations

  • Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy

    Giuliana Franceschinis

  • Institut für Informatik, Universität Rostock, Rostock, Germany

    Karsten Wolf

Bibliographic Information

Buy it now

Buying options

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