Book Volume 2472 2003

Petri Net Technology for Communication-Based Systems

Advances in Petri Nets

ISBN: 978-3-540-20538-8 (Print) 978-3-540-40022-6 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-21

    The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

  3. No Access

    Chapter

    Pages 22-36

    Application Development Assistance with the Petri Net Baukasten

  4. No Access

    Chapter

    Pages 37-65

    Petri Net Transformations in the ≫Petri Net Baukasten≪

  5. No Access

    Chapter

    Pages 66-82

    Four Steps Towards Sound Business Process Models

  6. No Access

    Chapter

    Pages 83-108

    Generation of Animation Views for Petri Nets in GenGED

  7. No Access

    Chapter

    Pages 109-123

    The Petri Net Kernel

  8. No Access

    Chapter

    Pages 124-144

    The Petri Net Markup Language

  9. No Access

    Chapter

    Pages 145-160

    Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets

  10. No Access

    Chapter

    Pages 161-196

    Rule-Based Refinement of Petri Nets: A Survey

  11. No Access

    Chapter

    Pages 197-218

    Modelling a Railway Crossing with Message Sequence Charts and Petri Nets

  12. No Access

    Chapter

    Pages 219-242

    Quantitative Engineering of Business Processes with VIPbusiness

  13. No Access

    Chapter

    Pages 243-263

    Inter-organizational Business Process Management with XML Nets

  14. No Access

    Chapter

    Pages 264-280

    Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL

  15. No Access

    Chapter

    Pages 281-294

    Open Petri Nets as Semantic Model for Workflow Integration

  16. No Access

    Chapter

    Pages 295-320

    Team Automata for CSCW – A Survey –

  17. No Access

    Chapter

    Pages 321-351

    Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets

  18. No Access

    Chapter

    Pages 352-362

    BASYSNET – An Integrated Approach for Automated Control System Development

  19. No Access

    Chapter

    Pages 363-382

    The Electronic Tool Integration Platform (ETI) and the Petri Net Technology

  20. No Access

    Chapter

    Pages 383-408

    Inheritance of Business Processes: A Journey Visiting Four Notorious Problems

  21. No Access

    Chapter

    Pages 409-429

    A Formal Framework for Petri Net Class Transformations

previous Page of 2