↓ Skip to main content

Application and Theory of Petri Nets 1994

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Automatic verification of finite-state concurrent systems
  3. Altmetric Badge
    Chapter 2 The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks
  4. Altmetric Badge
    Chapter 3 On the model of computation of place/transition Petri nets
  5. Altmetric Badge
    Chapter 4 B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation
  6. Altmetric Badge
    Chapter 5 Probabilistic validation of a Remote Procedure Call protocol
  7. Altmetric Badge
    Chapter 6 Occurrence graphs for Interval Timed Coloured Nets
  8. Altmetric Badge
    Chapter 7 Implementation of weighted place/transition nets based on Linear Enabling Functions
  9. Altmetric Badge
    Chapter 8 Hierarchical High Level Petri Nets for complex system analysis
  10. Altmetric Badge
    Chapter 9 Modeling symmetric computer architectures by SWNs
  11. Altmetric Badge
    Chapter 10 Coloured Petri Nets extended with channels for synchronous communication
  12. Altmetric Badge
    Chapter 11 Petri nets with marking-dependent arc cardinality: Properties and analysis
  13. Altmetric Badge
    Chapter 12 New structural invariants for Petri nets analysis
  14. Altmetric Badge
    Chapter 13 Time Stream Petri Nets a model for timed multimedia information
  15. Altmetric Badge
    Chapter 14 A term representation of P/T systems
  16. Altmetric Badge
    Chapter 15 Superposed Generalized Stochastic Petri Nets: Definition and efficient solution
  17. Altmetric Badge
    Chapter 16 Verification of recipe-based control procedures by means of predicate/transition nets
  18. Altmetric Badge
    Chapter 17 Towards comprehensive support for the dynamic analysis of Petri net based models
  19. Altmetric Badge
    Chapter 18 Partial order semantics of Box expressions
  20. Altmetric Badge
    Chapter 19 A general systematic approach to arc extensions for coloured Petri Nets
  21. Altmetric Badge
    Chapter 20 Liveness in bounded Petri nets which are covered by T-invariants
  22. Altmetric Badge
    Chapter 21 Modelling the work flow of a nuclear waste management program
  23. Altmetric Badge
    Chapter 22 Data structures and algorithms for extended state space and structural level reduction of the GSPN model
  24. Altmetric Badge
    Chapter 23 Petri net analysis using boolean manipulation
  25. Altmetric Badge
    Chapter 24 Modelling of pilot behaviour using petri nets
  26. Altmetric Badge
    Chapter 25 Simulation and analysis of a document storage system
  27. Altmetric Badge
    Chapter 26 Cooperative Nets
  28. Altmetric Badge
    Chapter 27 Well-formedness of Equal Conflict systems
  29. Altmetric Badge
    Chapter 28 Symbolic, symmetry, and stubborn set searches
  30. Altmetric Badge
    Chapter 29 Compositional analysis with place-bordered subnets
  31. Altmetric Badge
    Chapter 30 On combining the stubborn set method with the sleep set method
  32. Altmetric Badge
    Chapter 31 OR causality: Modelling and hardware implementation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 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
Application and Theory of Petri Nets 1994
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-58152-9
ISBNs
978-3-54-058152-9, 978-3-54-048462-2
Editors

Valette, Robert

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.