↓ Skip to main content
What is this page? Embed badge

Petri Net Technology for Communication-Based Systems

Overview of attention for book
Cover of 'Petri Net Technology for Communication-Based Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
  3. Altmetric Badge
    Chapter 2 Application Development Assistance with the Petri Net Baukasten
  4. Altmetric Badge
    Chapter 3 Petri Net Transformations in the ≫Petri Net Baukasten≪
  5. Altmetric Badge
    Chapter 4 Four Steps Towards Sound Business Process Models
  6. Altmetric Badge
    Chapter 5 Generation of Animation Views for Petri Nets in GenGED
  7. Altmetric Badge
    Chapter 6 The Petri Net Kernel
  8. Altmetric Badge
    Chapter 7 The Petri Net Markup Language
  9. Altmetric Badge
    Chapter 8 Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets
  10. Altmetric Badge
    Chapter 9 Rule-Based Refinement of Petri Nets: A Survey
  11. Altmetric Badge
    Chapter 10 Modelling a Railway Crossing with Message Sequence Charts and Petri Nets
  12. Altmetric Badge
    Chapter 11 Quantitative Engineering of Business Processes with VIPbusiness
  13. Altmetric Badge
    Chapter 12 Inter-organizational Business Process Management with XML Nets
  14. Altmetric Badge
    Chapter 13 Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL
  15. Altmetric Badge
    Chapter 14 Open Petri Nets as Semantic Model for Workflow Integration
  16. Altmetric Badge
    Chapter 15 Team Automata for CSCW – A Survey –
  17. Altmetric Badge
    Chapter 16 Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets
  18. Altmetric Badge
    Chapter 17 BASYSNET – An Integrated Approach for Automated Control System Development
  19. Altmetric Badge
    Chapter 18 The Electronic Tool Integration Platform (ETI) and the Petri Net Technology
  20. Altmetric Badge
    Chapter 19 Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
  21. Altmetric Badge
    Chapter 20 A Formal Framework for Petri Net Class Transformations
  22. Altmetric Badge
    Chapter 21 Concurrency Based Transition Refinement for the Verification of Distributed Algorithms
Attention for Chapter 8: Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets
Altmetric Badge

Citations

dimensions_citation
10 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets
Chapter number 8
Book title
Petri Net Technology for Communication-Based Systems
Published by
Springer, Berlin, Heidelberg, January 2003
DOI 10.1007/978-3-540-40022-6_8
Book ISBNs
978-3-54-020538-8, 978-3-54-040022-6
Authors

Kathrin Hoffmann

View on publisher site

This page is provided by Altmetric.