↓ Skip to main content
What is this page? Embed badge

Advances in Petri Nets 1987

Overview of attention for book
Cover of 'Advances in Petri Nets 1987'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 17 Specification and properties of a cache coherence protocol model
  3. Altmetric Badge
    Chapter 18 GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems
  4. Altmetric Badge
    Chapter 19 Recent results on the complexity of problems related to Petri nets
  5. Altmetric Badge
    Chapter 20 Algebraic structure of flows of a regular coloured net
  6. Altmetric Badge
    Chapter 21 On equivalent execution semantics of concurrent systems
  7. Altmetric Badge
    Chapter 22 Mathematical methods for calculating invariants in Petri nets
  8. Altmetric Badge
    Chapter 23 On Petri nets with deterministic and exponentially distributed firing times
  9. Altmetric Badge
    Chapter 24 An accurate performance model of CSMA/CD bus LAN
  10. Altmetric Badge
    Chapter 25 Petri net models for the λ-calculus
  11. Altmetric Badge
    Chapter 26 Fair processes
  12. Altmetric Badge
    Chapter 27 Operational Petri net semantics for CCSP
  13. Altmetric Badge
    Chapter 28 Infinitary languages of Petri nets and logical sentences
  14. Altmetric Badge
    Chapter 29 A strong part of concurrency
  15. Altmetric Badge
    Chapter 30 Concurrency and continuity
  16. Altmetric Badge
    Chapter 31 Parallel systems specifications with coloured Petri nets and algebraic specifications
  17. Altmetric Badge
    Chapter 32 Bibliography of Petri nets
Attention for Chapter 30: Concurrency and continuity
Altmetric Badge

Citations

dimensions_citation
10 Dimensions
Summary Dimensions citations
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
Concurrency and continuity
Chapter number 30
Book title
Advances in Petri Nets 1987
Published by
Springer, Berlin, Heidelberg, June 1986
DOI 10.1007/3-540-18086-9_30
Book ISBNs
978-3-54-018086-9, 978-3-54-047743-3
Authors

C. A. Petri, E. Smith

View on publisher site

This page is provided by Altmetric.