↓ Skip to main content

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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
17 Mendeley
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.
Title
Petri Net Technology for Communication-Based Systems
Published by
Springer Berlin Heidelberg, November 2003
DOI 10.1007/b83526
ISBNs
978-3-54-020538-8, 978-3-54-040022-6
Editors

Ehrig, Hartmut, Reisig, Wolfgang, Rozenberg, Grzegorz, Weber, Herbert

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 17 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 17 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 24%
Researcher 3 18%
Student > Ph. D. Student 2 12%
Student > Bachelor 1 6%
Lecturer 1 6%
Other 1 6%
Unknown 5 29%
Readers by discipline Count As %
Computer Science 7 41%
Engineering 4 24%
Medicine and Dentistry 1 6%
Unknown 5 29%