Skip to main content
  • Conference proceedings
  • © 2007

Petri Nets and Other Models of Concurrency - ICATPN 2007

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings

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

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

Conference series link(s): ICATPN: International Conference on Application and Theory of Petri Nets

Conference proceedings info: ICATPN 2007.

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

  1. Front Matter

  2. Invited Papers

    1. Autonomous Distributed System and Its Realization by Multi Agent Nets

      • Sadatoshi Kumagai, Toshiyuki Miyamoto
      Pages 3-19
    2. Petri Nets Without Tokens

      • Antoni Mazurkiewicz
      Pages 20-23
    3. Generating Petri Net State Spaces

      • Karsten Wolf
      Pages 29-42
  3. Full Papers

    1. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms

      • M. Beccuti, G. Franceschinis, S. Haddad
      Pages 43-62
    2. Improving Static Variable Orders Via Invariants

      • Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
      Pages 83-103
    3. Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

      • Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
      Pages 104-123
    4. From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

      • Pierre Ganty, Jean-François Raskin, Laurent Van Begin
      Pages 124-143
    5. A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms

      • Kyller Gorgônio, Jordi Cortadella, Fei Xia
      Pages 144-163
    6. History-Dependent Petri Nets

      • Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Wil van der Aalst
      Pages 164-183
    7. Complete Process Semantics for Inhibitor Nets

      • Gabriel Juhás, Robert Lorenz, Sebastian Mauser
      Pages 184-203
    8. Combining Decomposition and Unfolding for STG Synthesis

      • Victor Khomenko, Mark Schaefer
      Pages 223-243
    9. Object Nets for Mobility

      • Michael Köhler, Berndt Farwer
      Pages 244-262
    10. Web Service Orchestration with Super-Dual Object Nets

      • Michael Köhler, Heiko Rölke
      Pages 263-280
    11. Synthesis of Elementary Net Systems with Context Arcs and Localities

      • Maciej Koutny, Marta Pietkiewicz-Koutny
      Pages 281-300
    12. Nets with Tokens Which Carry Data

      • Ranko Lazić, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
      Pages 301-320

Other Volumes

  1. Petri Nets and Other Models of Concurrency – ICATPN 2007

Keywords

  • Variable
  • bounded Petri nets
  • calculus
  • colored Petri nets
  • concurrent systems
  • distributed systems
  • dynamic Petri nets
  • formal methods
  • fuzzy Petri nets
  • model checking
  • modeling
  • nets-within-nets
  • petri net
  • verification
  • visualization

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