Skip to main content
SpringerLink
Log in
Book cover
  • 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

Editors:

  1. Jetty Kleijn
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alex Yakovlev
    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 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.

Sections

Buy it now

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

  1. Front Matter

    PDF

  2. Invited Papers

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

      • Sadatoshi Kumagai, Toshiyuki Miyamoto
      Pages 3-19

    3. Petri Nets Without Tokens

      • Antoni Mazurkiewicz
      Pages 20-23

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

    3. Improving Static Variable Orders Via Invariants

      • Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
      Pages 83-103

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

    5. From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

      • Pierre Ganty, Jean-François Raskin, Laurent Van Begin
      Pages 124-143

    6. A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms

      • Kyller Gorgônio, Jordi Cortadella, Fei Xia
      Pages 144-163

    7. History-Dependent Petri Nets

      • Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Wil van der Aalst
      Pages 164-183

    8. Complete Process Semantics for Inhibitor Nets

      • Gabriel Juhás, Robert Lorenz, Sebastian Mauser
      Pages 184-203

    10. Combining Decomposition and Unfolding for STG Synthesis

      • Victor Khomenko, Mark Schaefer
      Pages 223-243

    11. Object Nets for Mobility

      • Michael Köhler, Berndt Farwer
      Pages 244-262

    12. Web Service Orchestration with Super-Dual Object Nets

      • Michael Köhler, Heiko Rölke
      Pages 263-280

    13. Synthesis of Elementary Net Systems with Context Arcs and Localities

      • Maciej Koutny, Marta Pietkiewicz-Koutny
      Pages 281-300

    14. Nets with Tokens Which Carry Data

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

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation