↓ 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 31: Coloured petri nets: A high level language for system design and analysis
Altmetric Badge


9 Dimensions

Readers on

30 Mendeley
1 CiteULike
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
Coloured petri nets: A high level language for system design and analysis
Chapter number 31
Book title
Advances in Petri Nets 1990
Published by
Springer, Berlin, Heidelberg, June 1989
DOI 10.1007/3-540-53863-1_31
Book ISBNs
978-3-54-053863-9, 978-3-54-046369-6

Kurt Jensen

Mendeley readers

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

Geographical breakdown

Country Count As %
France 1 3%
Austria 1 3%
Brazil 1 3%
Unknown 27 90%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 13 43%
Student > Master 8 27%
Student > Doctoral Student 3 10%
Researcher 2 7%
Professor 1 3%
Other 2 7%
Unknown 1 3%
Readers by discipline Count As %
Computer Science 19 63%
Engineering 7 23%
Business, Management and Accounting 1 3%
Unknown 3 10%