Skip to main content
  • Book
  • © 2003

Petri Net Technology for Communication-Based Systems

Advances in Petri Nets

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

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 (21 chapters)

  1. Front Matter

  2. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

    • H. Weber, H. Ehrig, W. Reisig, A. Borusan, S. Lembke, J. Dehnert et al.
    Pages 1-21
  3. Petri Net Transformations in the ≫Petri Net Baukasten≪

    • B. Braatz, H. Ehrig, M. Urbášek
    Pages 37-65
  4. Generation of Animation Views for Petri Nets in GenGED

    • Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
    Pages 83-108
  5. The Petri Net Kernel

    • Michael Weber, Ekkart Kindler
    Pages 109-123
  6. The Petri Net Markup Language

    • Michael Weber, Ekkart Kindler
    Pages 124-144
  7. Rule-Based Refinement of Petri Nets: A Survey

    • J. Padberg, M. Urbášek
    Pages 161-196
  8. Inter-organizational Business Process Management with XML Nets

    • Kirsten Lenz, Andreas Oberweis
    Pages 243-263
  9. Team Automata for CSCW – A Survey –

    • Jetty Kleijn
    Pages 295-320
  10. BASYSNET – An Integrated Approach for Automated Control System Development

    • Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste
    Pages 352-362
  11. The Electronic Tool Integration Platform (ETI) and the Petri Net Technology

    • Volker Braun, Tiziana Margaria, Bernhard Steffen
    Pages 363-382

Keywords

  • Animation
  • XML
  • algorithms
  • automata
  • control
  • development
  • inheritance
  • language
  • management
  • modeling
  • modelling
  • petri net
  • system development
  • technology
  • verification

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

    Wolfgang Reisig

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Computergestützte InformationsSysteme (CIS), Technische Universität Berlin, Germany

    Herbert Weber

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