↓ Skip to main content

Application and Theory of Petri Nets and Concurrency

Overview of attention for book
Cover of 'Application and Theory of Petri Nets and Concurrency'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Right Timing: Reflections on the Modeling and Analysis of Time
  3. Altmetric Badge
    Chapter 2 Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets
  4. Altmetric Badge
    Chapter 3 Contextual Merged Processes
  5. Altmetric Badge
    Chapter 4 ω -Petri Nets
  6. Altmetric Badge
    Chapter 5 Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets
  7. Altmetric Badge
    Chapter 6 A Semantics for Every GSPN
  8. Altmetric Badge
    Chapter 7 Expressing and Computing Passage Time Measures of GSPN Models with HASL
  9. Altmetric Badge
    Chapter 8 On Multi-enabledness in Time Petri Nets
  10. Altmetric Badge
    Chapter 9 Complexity Results for Elementary Hornets
  11. Altmetric Badge
    Chapter 10 Complexity Analysis of Continuous Petri Nets
  12. Altmetric Badge
    Chapter 11 Step Persistence in the Design of GALS Systems
  13. Altmetric Badge
    Chapter 12 A Taxonomy of Persistent and Nonviolent Steps
  14. Altmetric Badge
    Chapter 13 Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology
  15. Altmetric Badge
    Chapter 14 The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework
  16. Altmetric Badge
    Chapter 15 Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case
  17. Altmetric Badge
    Chapter 16 Hierarchical conformance checking of process models based on event logs
  18. Altmetric Badge
    Chapter 17 Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
  19. Altmetric Badge
    Chapter 18 Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows
  20. Altmetric Badge
    Chapter 19 Unifying the Semantics of Modular Extensions of Petri Nets
  21. Altmetric Badge
    Chapter 20 Channel Properties of Asynchronously Composed Petri Nets
  22. Altmetric Badge
    Chapter 21 MARCIE – Model Checking and Reachability Analysis Done Efficiently
  23. Altmetric Badge
    Chapter 22 CPN Tools 4: Multi-formalism and Extensibility
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
36 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
Application and Theory of Petri Nets and Concurrency
Published by
Springer Berlin Heidelberg, June 2013
DOI 10.1007/978-3-642-38697-8
ISBNs
978-3-64-238696-1, 978-3-64-238697-8
Editors

Colom, José-Manuel, Desel, Jörg

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 36 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 3%
Student > Ph. D. Student 1 3%
Student > Bachelor 1 3%
Student > Doctoral Student 1 3%
Unknown 32 89%
Readers by discipline Count As %
Computer Science 3 8%
Unknown 33 92%