↓ Skip to main content

Application and Theory of Petri Nets 1998

Overview of attention for book
Cover of 'Application and Theory of Petri Nets 1998'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Petri Nets as Token Objects
  3. Altmetric Badge
    Chapter 2 Synchronized Products of Transition Systems and Their Analysis
  4. Altmetric Badge
    Chapter 3 Manual and Automatic Exploitation of Symmetries in SPN Models
  5. Altmetric Badge
    Chapter 4 Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models
  6. Altmetric Badge
    Chapter 5 A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
  7. Altmetric Badge
    Chapter 6 Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
  8. Altmetric Badge
    Chapter 7 Finding Stubborn Sets of Coloured Petri Nets without Unfolding
  9. Altmetric Badge
    Chapter 8 On Stubborn Sets in the Verification of Linear Time Temporal Properties
  10. Altmetric Badge
    Chapter 9 A Compositional Petri Net Semantics for SDL
  11. Altmetric Badge
    Chapter 10 An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
  12. Altmetric Badge
    Chapter 11 Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
  13. Altmetric Badge
    Chapter 12 Thinking in Cycles
  14. Altmetric Badge
    Chapter 13 Iterative Decomposition and Aggregation of Labeled GSPNs
  15. Altmetric Badge
    Chapter 14 On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
  16. Altmetric Badge
    Chapter 15 Deadlock Detection in the Face of Transaction and Data Dependencies
  17. Altmetric Badge
    Chapter 16 Petri Net Based Certification of Event-Driven Process Chains
  18. Altmetric Badge
    Chapter 17 M-net Calculus Based Semantics for Triggers
  19. Altmetric Badge
    Chapter 18 SWN Analysis and Simulation of Large Knockout ATM Switches
  20. Altmetric Badge
    Chapter 19 Flexibility in Algebraic Nets
  21. Altmetric Badge
    Chapter 20 ESTL: A Temporal Logic for Events and States
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
4 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 1998
Published by
Springer Berlin Heidelberg, June 2003
DOI 10.1007/3-540-69108-1
ISBNs
978-3-54-064677-8, 978-3-54-069108-2
Editors

Desel, Jörg, Silva, Manuel

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Student > Bachelor 1 25%
Lecturer 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Computer Science 2 50%
Business, Management and Accounting 1 25%
Engineering 1 25%