Skip to main content
  • Conference proceedings
  • © 2003

Applications and Theory of Petri Nets 2003

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

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

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

Conference proceedings info: ICATPN 2003.

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

  1. Front Matter

    Pages I-XI
  2. Invited Papers

    1. Towards Biopathway Modeling and Simulation

      • Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano
      Pages 3-22
    2. Colored GSPN Models for the QoS Design of Internet Subnets

      • M. Ajmone Marsan, M. Garetto, R. Lo Cigno, M. Meo
      Pages 36-36
  3. Full Papers

    1. Deciding Life-Cycle Inheritance on Petri Nets

      • H. M. W. Verbeek, T. Basten
      Pages 44-63
    2. Nets Enriched over Closed Monoidal Structures

      • Eric Badouel, Jules Chenou
      Pages 64-81
    3. Automatic Symmetry Detection in Well-Formed Nets

      • Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
      Pages 82-101
    4. A Proposal for Structuring Petri Net-Based Agent Interaction Protocols

      • Lawrence Cabac, Daniel Moldt, Heiko Rölke
      Pages 102-120
    5. Modelling Mobility and Mobile Agents Using Nets within Nets

      • Michael Köhler, Daniel Moldt, Heiko Rölke
      Pages 121-139
    6. Modular System Development with Pullbacks

      • Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, WiesÅ‚aw PawÅ‚owski, Lucia Pomello
      Pages 140-160
    7. Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets

      • Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
      Pages 161-180
    8. On Reachability in Autonomous Continuous Petri Net Systems

      • Jorge Júlvez, Laura Recalde, Manuel Silva
      Pages 221-240
    9. Logical Reasoning and Petri Nets

      • Kurt Lautenbach
      Pages 276-295

Editors and Affiliations

  • Faculty of Technology and Management, Eindhoven University of Technology, Eindhoven, The Netherlands

    Wil M. P. Aalst

  • Computer Science Department Parallel Systems Group, University of Oldenburg, Oldenburg, Germany

    Eike Best

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