↓ 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
Attention for Chapter 17: Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
231 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.
Chapter title
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
Chapter number 17
Book title
Application and Theory of Petri Nets and Concurrency
Published by
Springer, Berlin, Heidelberg, June 2013
DOI 10.1007/978-3-642-38697-8_17
Book ISBNs
978-3-64-238696-1, 978-3-64-238697-8
Authors

Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst, Leemans, Sander J. J., Fahland, Dirk, Aalst, Wil M. P. van der, van der Aalst, Wil M. P.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Netherlands 2 <1%
Turkey 1 <1%
Germany 1 <1%
Chile 1 <1%
Italy 1 <1%
Brazil 1 <1%
Saudi Arabia 1 <1%
Romania 1 <1%
Unknown 222 96%

Demographic breakdown

Readers by professional status Count As %
Student > Master 65 28%
Student > Ph. D. Student 48 21%
Student > Bachelor 21 9%
Student > Doctoral Student 13 6%
Researcher 10 4%
Other 21 9%
Unknown 53 23%
Readers by discipline Count As %
Computer Science 124 54%
Engineering 18 8%
Business, Management and Accounting 12 5%
Economics, Econometrics and Finance 5 2%
Decision Sciences 3 1%
Other 7 3%
Unknown 62 27%