↓ Skip to main content

Application and Theory of Petri Nets

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Overview on Topic 1: Application of Nets to Real-Time Systems
  3. Altmetric Badge
    Chapter 2 Petri Net Modelling and Reliability of Distributed Algorithms
  4. Altmetric Badge
    Chapter 3 Using Petri-Nets in Measurement of a Distributed Data Base System
  5. Altmetric Badge
    Chapter 4 On the Problem of Time in Nets
  6. Altmetric Badge
    Chapter 5 Overview on Topic 2: Programming Languages and Software Engineering
  7. Altmetric Badge
    Chapter 6 Transforming nets along the syntactic production of programs
  8. Altmetric Badge
    Chapter 7 Design-Review by Petri-Nets
  9. Altmetric Badge
    Chapter 8 Concurrency in Functional Descriptions
  10. Altmetric Badge
    Chapter 9 RNL — A Language for Digital Systems Design Based on Nets
  11. Altmetric Badge
    Chapter 10 Galileo : A Methodology for Modelling and Designing Real Time Systems
  12. Altmetric Badge
    Chapter 11 Petri Nets and Semantics of System Descriptions
  13. Altmetric Badge
    Chapter 12 Overview on Topic 3: Information Flow and Concurrency
  14. Altmetric Badge
    Chapter 13 The Relationship Between Time and Information
  15. Altmetric Badge
    Chapter 14 Information Flow in Nets
  16. Altmetric Badge
    Chapter 15 An Exercise in Processes with Infinite Pasts
  17. Altmetric Badge
    Chapter 16 Two Alternative Definitions of Synchronic Distance
  18. Altmetric Badge
    Chapter 17 On the Construction of System Nets
  19. Altmetric Badge
    Chapter 18 Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations
  20. Altmetric Badge
    Chapter 19 Net Morphisms and Software Engineering
  21. Altmetric Badge
    Chapter 20 An Equivalence-Notion For Condition/Event-Systems
  22. Altmetric Badge
    Chapter 21 Recursive Nets
  23. Altmetric Badge
    Chapter 22 Behaviour of a Place-Transition Net on a Subset of Transitions
  24. Altmetric Badge
    Chapter 23 Stepwise Refinements of Transitions and Places
  25. Altmetric Badge
    Chapter 24 Transfer of graph constructs in Goguen’s paper to net constructs
  26. Altmetric Badge
    Chapter 25 Structural Modifications in Net Theory
  27. Altmetric Badge
    Chapter 26 Overview on Topic 5: Mathematical Analysis and Net Languages
  28. Altmetric Badge
    Chapter 27 Interactive Methods for the Analysis of Petri Nets
  29. Altmetric Badge
    Chapter 28 Inductive Assertions for Analyzing Reachability Sets
  30. Altmetric Badge
    Chapter 29 Leakage Notion
  31. Altmetric Badge
    Chapter 30 Graph-Theoretical Analysis of A Subclass of Petri-Nets
  32. Altmetric Badge
    Chapter 31 Synthesis of Concurrent Systems
  33. Altmetric Badge
    Chapter 32 Subclasses of Self-Modifying Nets
  34. Altmetric Badge
    Chapter 33 Test on Zero in Petri Nets
  35. Altmetric Badge
    Chapter 34 Deterministic Languages of Petri Nets
  36. Altmetric Badge
    Chapter 35 A Study of the Projection Operation
  37. Altmetric Badge
    Chapter 36 Overview on Topic 6: Reliability and Recovery Issues
  38. Altmetric Badge
    Chapter 37 Petri-Net Implementation of Recovery Strategies in a Large ESS
  39. Altmetric Badge
    Chapter 38 Petri Nets and Reliable Real-Time Systems
  40. Altmetric Badge
    Chapter 39 Towards Fault-Tolerant Real-Time Systems by Using Petri Nets
  41. Altmetric Badge
    Chapter 40 Treatment of recovery problems using cuts in Occurrence Nets
  42. Altmetric Badge
    Chapter 41 Use of the Behaviour Equivalence in Place-Transition Net Analysis
  43. Altmetric Badge
    Chapter 42 Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets
  44. Altmetric Badge
    Chapter 43 On the Logic of Concurrency and Conflict
  45. Altmetric Badge
    Chapter 44 Superposed Automata Nets
  46. Altmetric Badge
    Chapter 45 Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol
  47. Altmetric Badge
    Chapter 46 Weighted Synchronic Distances
  48. Altmetric Badge
    Chapter 47 A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net
  49. Altmetric Badge
    Chapter 48 Constructive Proofs as Programs Executable by PrT Nets
  50. Altmetric Badge
    Chapter 49 Correctness Proof for the Alternating Bit Protocol by Assertion Systems
  51. Altmetric Badge
    Chapter 50 A Fair Competition Between Two or More Partners
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
22 Dimensions

Readers on

mendeley
49 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
Published by
Springer-Verlag Berlin Heidelberg, January 1982
DOI 10.1007/978-3-642-68353-4
ISBNs
978-3-54-011189-4, 978-3-64-268353-4
Editors

C. Girault, W. Reisig

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 1 2%
Germany 1 2%
Australia 1 2%
Unknown 46 94%

Demographic breakdown

Readers by professional status Count As %
Student > Master 5 10%
Student > Ph. D. Student 4 8%
Professor > Associate Professor 3 6%
Professor 2 4%
Student > Doctoral Student 2 4%
Other 6 12%
Unknown 27 55%
Readers by discipline Count As %
Computer Science 11 22%
Engineering 6 12%
Economics, Econometrics and Finance 1 2%
Biochemistry, Genetics and Molecular Biology 1 2%
Medicine and Dentistry 1 2%
Other 1 2%
Unknown 28 57%