↓ Skip to main content

Applications and Theory of Petri Nets

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Component-Based Construction of Heterogeneous Real-Time Systems in Bip
  3. Altmetric Badge
    Chapter 2 Unifying Petri Net Semantics with Token Flows
  4. Altmetric Badge
    Chapter 3 Reaction Systems: A Formal Framework for Processes
  5. Altmetric Badge
    Chapter 4 Simple Composition of Nets
  6. Altmetric Badge
    Chapter 5 Towards a Standard for Modular Petri Nets: A Formalisation
  7. Altmetric Badge
    Chapter 6 Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
  8. Altmetric Badge
    Chapter 7 Pomset Languages of Finite Step Transition Systems
  9. Altmetric Badge
    Chapter 8 Deficiency Zero Petri Nets and Product Form
  10. Altmetric Badge
    Chapter 9 Bisimilarity Minimization in O ( m log n ) Time
  11. Altmetric Badge
    Chapter 10 P-Semiflow Computation with Decision Diagrams
  12. Altmetric Badge
    Chapter 11 Orthomodular Lattices in Occurrence Nets
  13. Altmetric Badge
    Chapter 12 Hasse Diagram Generators and Petri Nets
  14. Altmetric Badge
    Chapter 13 Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed
  15. Altmetric Badge
    Chapter 14 Oclets – Scenario-Based Modeling with Petri Nets
  16. Altmetric Badge
    Chapter 15 Hornets: Nets within Nets Combined with Net Algebra
  17. Altmetric Badge
    Chapter 16 Monotonicity in Service Orchestrations
  18. Altmetric Badge
    Chapter 17 Compositional Service Trees
  19. Altmetric Badge
    Chapter 18 ASAP: An Extensible Platform for State Space Analysis
  20. Altmetric Badge
    Chapter 19 The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
  21. Altmetric Badge
    Chapter 20 DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets
  22. Altmetric Badge
    Chapter 21 Workcraft – A Framework for Interpreted Graph Models
  23. Altmetric Badge
    Chapter 22 PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description
Attention for Chapter 19: The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
41 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
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Chapter number 19
Book title
Applications and Theory of Petri Nets
Published by
Springer, Berlin, Heidelberg, June 2009
DOI 10.1007/978-3-642-02424-5_19
Book ISBNs
978-3-64-202423-8, 978-3-64-202424-5
Authors

Michael Westergaard, Lars Michael Kristensen

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Brazil 2 5%
United Kingdom 1 2%
Iran, Islamic Republic of 1 2%
Denmark 1 2%
Korea, Republic of 1 2%
United States 1 2%
Unknown 34 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 13 32%
Student > Master 10 24%
Student > Doctoral Student 4 10%
Researcher 4 10%
Professor 3 7%
Other 5 12%
Unknown 2 5%
Readers by discipline Count As %
Computer Science 26 63%
Engineering 9 22%
Business, Management and Accounting 2 5%
Decision Sciences 1 2%
Unknown 3 7%