↓ 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 Reasoning About Discovery Clouds
  3. Altmetric Badge
    Chapter 2 From Actions, Transactions, and Processes to Services
  4. Altmetric Badge
    Chapter 3 Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
  5. Altmetric Badge
    Chapter 4 Characterising Petri Net Solvable Binary Words
  6. Altmetric Badge
    Chapter 5 The Power of Prime Cycles
  7. Altmetric Badge
    Chapter 6 Petri Net Synthesis for Restricted Classes of Nets
  8. Altmetric Badge
    Chapter 7 Renew 2.5 – Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications
  9. Altmetric Badge
    Chapter 8 AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks
  10. Altmetric Badge
    Chapter 9 PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
  11. Altmetric Badge
    Chapter 10 Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol
  12. Altmetric Badge
    Chapter 11 Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
  13. Altmetric Badge
    Chapter 12 ABCD: A User-Friendly Language for Formal Modelling and Analysis
  14. Altmetric Badge
    Chapter 13 Application and Theory of Petri Nets and Concurrency
  15. Altmetric Badge
    Chapter 14 Merging Alignments for Decomposed Replay
  16. Altmetric Badge
    Chapter 15 Anti-alignments in Conformance Checking – The Dark Side of Process Models
  17. Altmetric Badge
    Chapter 16 Probabilistic Time Petri Nets
  18. Altmetric Badge
    Chapter 17 Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models
  19. Altmetric Badge
    Chapter 18 Decidable Classes of Unbounded Petri Nets with Time and Urgency
  20. Altmetric Badge
    Chapter 19 Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
38 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 2016
DOI 10.1007/978-3-319-39086-4
ISBNs
978-3-31-939085-7, 978-3-31-939086-4
Editors

Kordon, Fabrice, Moldt, Daniel

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

Geographical breakdown

Country Count As %
Unknown 38 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 3%
Student > Master 1 3%
Unknown 36 95%
Readers by discipline Count As %
Computer Science 2 5%
Unknown 36 95%