Skip to main content
SpringerLink
Log in
Book cover

Applications and Theory of Petri Nets 2003

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Wil M. P. Aalst

    1. Faculty of Technology and Management, Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eike Best

    1. Computer Science Department Parallel Systems Group, University of Oldenburg, Oldenburg, Germany

    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 2679)

Included in the following conference series:

Conference proceedings info: ICATPN 2003.

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

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Papers

    1. Coloured Petri Nets: Status and Outlook

      • Kurt Jensen
      Pages 1-2

    2. Towards Biopathway Modeling and Simulation

      • Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano
      Pages 3-22

    3. The Resource Allocation Problem in Flexible Manufacturing Systems

      • J. M. Colom
      Pages 23-35

    4. Colored GSPN Models for the QoS Design of Internet Subnets

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

    5. Compositional Theories of Qualitative and Quantitative Behaviour

      • Ed Brinksma
      Pages 37-42

    6. Net Models Supporting Human and Humane Behaviors

      • C. A. Ellis
      Pages 43-43

  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 the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers

      • R. Gaeta, M. Gribaudo, D. Manini, M. Sereno
      Pages 181-200

    9. Model Checking Safety Properties in Modular High-Level Nets

      • Marko Mäkelä
      Pages 201-220

    10. On Reachability in Autonomous Continuous Petri Net Systems

      • Jorge Júlvez, Laura Recalde, Manuel Silva
      Pages 221-240

    11. On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems

      • Spyros A. Reveliotis
      Pages 241-255

    12. Coloured Petri Nets in Development of a Pervasive Health Care System

      • Jens Bæk Jørgensen
      Pages 256-275

    13. Logical Reasoning and Petri Nets

      • Kurt Lautenbach
      Pages 276-295
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation