↓ Skip to main content

Advances in Petri Nets 1990

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 19 A survey of behaviour and equivalence preserving refinements of petri nets
  3. Altmetric Badge
    Chapter 20 A distributed simulator for high order Petri nets
  4. Altmetric Badge
    Chapter 21 Petri nets with uncertain markings
  5. Altmetric Badge
    Chapter 22 Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows
  6. Altmetric Badge
    Chapter 23 Improving the linearly based characterization of P/T nets
  7. Altmetric Badge
    Chapter 24 Linear invariants in commutative high level nets
  8. Altmetric Badge
    Chapter 25 Vicinity respecting net morphisms
  9. Altmetric Badge
    Chapter 26 Regular stochastic petri nets
  10. Altmetric Badge
    Chapter 27 Circuits, handles, bridges and nets
  11. Altmetric Badge
    Chapter 28 On the analysis and synthesis of free choice systems
  12. Altmetric Badge
    Chapter 29 Petri net models of a distributed election protocol on a unidirectional ring
  13. Altmetric Badge
    Chapter 30 Hierarchies in coloured petri nets
  14. Altmetric Badge
    Chapter 31 Coloured petri nets: A high level language for system design and analysis
  15. Altmetric Badge
    Chapter 32 A simulation system architecture for graph models
  16. Altmetric Badge
    Chapter 33 A state transformation preorder over a class of EN systems
  17. Altmetric Badge
    Chapter 34 Composition of nets via a communication medium
  18. Altmetric Badge
    Chapter 35 αTrellis: A system for writing and browsing petri-net-based hypertext
  19. Altmetric Badge
    Chapter 36 Stubborn sets for reduced state space generation
Attention for Chapter 33: A state transformation preorder over a class of EN systems
Altmetric Badge

Citations

dimensions_citation
15 Dimensions