↓ Skip to main content

Advances in Petri Nets 1984

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 PSI: A petri net based simulator for flexible manufacturing systems
  3. Altmetric Badge
    Chapter 2 Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system
  4. Altmetric Badge
    Chapter 3 Concurrency axioms and D-continuous posets
  5. Altmetric Badge
    Chapter 4 Frozen tokens and D-continuity: A study in relating system properties to process properties
  6. Altmetric Badge
    Chapter 5 Modelling scheduling problems with timed petri nets
  7. Altmetric Badge
    Chapter 6 Infinite behaviour and fairness in petri nets
  8. Altmetric Badge
    Chapter 7 Petri net based models for the specification and validation of protocols
  9. Altmetric Badge
    Chapter 8 A note on observable occurrence nets
  10. Altmetric Badge
    Chapter 9 A lattice theoretic view of K-density
  11. Altmetric Badge
    Chapter 10 Fair serializability of iterated transactions using fifo-nets
  12. Altmetric Badge
    Chapter 11 Csp-programs as nets with individual tokens
  13. Altmetric Badge
    Chapter 12 Design and programming of interfaces for monetic applications using petri nets
  14. Altmetric Badge
    Chapter 13 Towards reachability trees for high-level petri nets
  15. Altmetric Badge
    Chapter 14 The residue of vector sets with applications to decidability problems in petri nets
  16. Altmetric Badge
    Chapter 15 The design of a program package for an introductory petri net course
  17. Altmetric Badge
    Chapter 16 On communication protocol modelling and design
  18. Altmetric Badge
    Chapter 17 On structural properties of generalized processes
  19. Altmetric Badge
    Chapter 18 Stepwise construction of non-sequential software systems using a net-based specification language
  20. Altmetric Badge
    Chapter 19 Liveness and duality in marked-graph-like predicate/transition nets
  21. Altmetric Badge
    Chapter 20 Semantics of concurrent systems: A modular fixed-point trace approach
  22. Altmetric Badge
    Chapter 21 The reachability problem for VAS
  23. Altmetric Badge
    Chapter 22 K-density, N-density, and finiteness properties
  24. Altmetric Badge
    Chapter 23 A net model of a local area network protocol
  25. Altmetric Badge
    Chapter 24 In praise of free choice nets
  26. Altmetric Badge
    Chapter 25 Computation of flows for unary-predicates/transitions-nets
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
9 Dimensions
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
Advances in Petri Nets 1984
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-15204-0
ISBNs
978-3-54-015204-0, 978-3-54-039320-7
Editors

Rozenberg, G.

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.