↓ 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 On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
  3. Altmetric Badge
    Chapter 2 Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
  4. Altmetric Badge
    Chapter 3 Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers
  5. Altmetric Badge
    Chapter 4 On Interval Process Semantics of Petri Nets with Inhibitor Arcs
  6. Altmetric Badge
    Chapter 5 An SRN-Based Resiliency Quantification Approach
  7. Altmetric Badge
    Chapter 6 Non-atomic Transition Firing in Contextual Nets
  8. Altmetric Badge
    Chapter 7 Discrete Parameters in Petri Nets
  9. Altmetric Badge
    Chapter 8 Negotiation Programs
  10. Altmetric Badge
    Chapter 9 Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
  11. Altmetric Badge
    Chapter 10 Charlie – An Extensible Petri Net Analysis Tool
  12. Altmetric Badge
    Chapter 11 Petri Nets with Structured Data
  13. Altmetric Badge
    Chapter 12 On the Reversibility of Live Equal-Conflict Petri Nets
  14. Altmetric Badge
    Chapter 13 SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
  15. Altmetric Badge
    Chapter 14 Characterizing Stable Inequalities of Petri Nets
  16. Altmetric Badge
    Chapter 15 Process Discovery Using Localized Events
  17. Altmetric Badge
    Chapter 16 New Search Strategies for the Petri Net CEGAR Approach
  18. Altmetric Badge
    Chapter 17 Workflow Management Principles for Interactions Between Petri Net-Based Agents
Attention for Chapter 10: Charlie – An Extensible Petri Net Analysis Tool
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
31 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
Charlie – An Extensible Petri Net Analysis Tool
Chapter number 10
Book title
Application and Theory of Petri Nets and Concurrency
Published by
Springer, Cham, June 2015
DOI 10.1007/978-3-319-19488-2_10
Book ISBNs
978-3-31-919487-5, 978-3-31-919488-2
Authors

Monika Heiner, Martin Schwarick, Jan-Thierry Wegener

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 31 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 8 26%
Researcher 4 13%
Student > Ph. D. Student 4 13%
Student > Postgraduate 2 6%
Professor > Associate Professor 2 6%
Other 4 13%
Unknown 7 23%
Readers by discipline Count As %
Arts and Humanities 5 16%
Computer Science 4 13%
Social Sciences 3 10%
Medicine and Dentistry 2 6%
Psychology 2 6%
Other 7 23%
Unknown 8 26%