↓ 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 16: Hierarchical conformance checking of process models based on event logs
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
54 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
Hierarchical conformance checking of process models based on event logs
Chapter number 16
Book title
Application and Theory of Petri Nets and Concurrency
Published in
Lecture notes in computer science, November 2013
DOI 10.1007/978-3-642-38697-8_16
Book ISBNs
978-3-64-238696-1, 978-3-64-238697-8
Authors

Muñoz Gama, Jorge, Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst, Munoz-Gama, Jorge, Carmona, Josep, Aalst, Wil M. P. van der, van der Aalst, Wil M. P.

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 54 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 2 4%
Netherlands 1 2%
Chile 1 2%
Saudi Arabia 1 2%
United States 1 2%
Unknown 48 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 20 37%
Student > Bachelor 7 13%
Student > Master 5 9%
Researcher 4 7%
Student > Doctoral Student 3 6%
Other 10 19%
Unknown 5 9%
Readers by discipline Count As %
Computer Science 34 63%
Business, Management and Accounting 6 11%
Engineering 3 6%
Earth and Planetary Sciences 1 2%
Chemical Engineering 1 2%
Other 2 4%
Unknown 7 13%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 25 November 2013.
All research outputs
#20,210,424
of 22,731,677 outputs
Outputs from Lecture notes in computer science
#6,983
of 8,126 outputs
Outputs of similar age
#264,797
of 304,128 outputs
Outputs of similar age from Lecture notes in computer science
#254
of 297 outputs
Altmetric has tracked 22,731,677 research outputs across all sources so far. This one is in the 1st percentile – i.e., 1% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,126 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 1st percentile – i.e., 1% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 304,128 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 297 others from the same source and published within six weeks on either side of this one. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.