↓ Skip to main content

Applications and Theory of Petri Nets 2003

Overview of attention for book
Cover of 'Applications and Theory of Petri Nets 2003'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Coloured Petri Nets: Status and Outlook
  3. Altmetric Badge
    Chapter 2 Towards Biopathway Modeling and Simulation
  4. Altmetric Badge
    Chapter 3 The Resource Allocation Problem in Flexible Manufacturing Systems
  5. Altmetric Badge
    Chapter 4 Colored GSPN Models for the QoS Design of Internet Subnets
  6. Altmetric Badge
    Chapter 5 Compositional Theories of Qualitative and Quantitative Behaviour
  7. Altmetric Badge
    Chapter 6 Net Models Supporting Human and Humane Behaviors
  8. Altmetric Badge
    Chapter 7 Deciding Life-Cycle Inheritance on Petri Nets
  9. Altmetric Badge
    Chapter 8 Nets Enriched over Closed Monoidal Structures
  10. Altmetric Badge
    Chapter 9 Automatic Symmetry Detection in Well-Formed Nets
  11. Altmetric Badge
    Chapter 10 A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
  12. Altmetric Badge
    Chapter 11 Modelling Mobility and Mobile Agents Using Nets within Nets
  13. Altmetric Badge
    Chapter 12 Modular System Development with Pullbacks
  14. Altmetric Badge
    Chapter 13 Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets
  15. Altmetric Badge
    Chapter 14 On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
  16. Altmetric Badge
    Chapter 15 Model Checking Safety Properties in Modular High-Level Nets
  17. Altmetric Badge
    Chapter 16 On Reachability in Autonomous Continuous Petri Net Systems
  18. Altmetric Badge
    Chapter 17 On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
  19. Altmetric Badge
    Chapter 18 Coloured Petri Nets in Development of a Pervasive Health Care System
  20. Altmetric Badge
    Chapter 19 Logical Reasoning and Petri Nets
  21. Altmetric Badge
    Chapter 20 Reactive Petri Nets for Workflow Modeling
  22. Altmetric Badge
    Chapter 21 Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
  23. Altmetric Badge
    Chapter 22 Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
  24. Altmetric Badge
    Chapter 23 On Synchronicity and Concurrency in Petri Nets
  25. Altmetric Badge
    Chapter 24 Applications and Theory of Petri Nets 2003
  26. Altmetric Badge
    Chapter 25 Hierarchical Timed High Level Nets and Their Branching Processes
  27. Altmetric Badge
    Chapter 26 A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
  28. Altmetric Badge
    Chapter 27 PLC Programming with Signal Interpreted Petri Nets
  29. Altmetric Badge
    Chapter 28 CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
  30. Altmetric Badge
    Chapter 29 The Model-Checking Kit
  31. Altmetric Badge
    Chapter 30 Prototyping Object Oriented Specifications
  32. Altmetric Badge
    Chapter 31 The Petri Net Markup Language: Concepts, Technology, and Tools
Attention for Chapter 22: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
26 Mendeley
citeulike
1 CiteULike
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
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
Chapter number 22
Book title
Applications and Theory of Petri Nets 2003
Published by
Springer, Berlin, Heidelberg, June 2003
DOI 10.1007/3-540-44919-1_22
Book ISBNs
978-3-54-040334-0, 978-3-54-044919-5
Authors

Kees van Hee, Natalia Sidorova, Marc Voorhoeve, van Hee, Kees, Sidorova, Natalia, Voorhoeve, Marc

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Australia 2 8%
United States 1 4%
Austria 1 4%
Unknown 22 85%

Demographic breakdown

Readers by professional status Count As %
Researcher 6 23%
Lecturer 3 12%
Lecturer > Senior Lecturer 3 12%
Student > Master 3 12%
Student > Ph. D. Student 3 12%
Other 4 15%
Unknown 4 15%
Readers by discipline Count As %
Computer Science 18 69%
Business, Management and Accounting 2 8%
Mathematics 1 4%
Engineering 1 4%
Unknown 4 15%