↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
16 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 International Publishing, June 2015
DOI 10.1007/978-3-319-19488-2
ISBNs
978-3-31-919487-5, 978-3-31-919488-2
Editors

Devillers, Raymond, Valmari, Antti

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users 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 16 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Hungary 1 6%
Unknown 15 94%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 3 19%
Student > Ph. D. Student 3 19%
Student > Master 3 19%
Other 1 6%
Professor 1 6%
Other 3 19%
Unknown 2 13%
Readers by discipline Count As %
Computer Science 6 38%
Engineering 3 19%
Business, Management and Accounting 1 6%
Chemical Engineering 1 6%
Economics, Econometrics and Finance 1 6%
Other 1 6%
Unknown 3 19%