Verkauf durch Sack Fachmedien

Jensen

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Medium: Buch
ISBN: 978-3-540-60943-8
Verlag: Springer Netherlands
Erscheinungstermin: 25.03.1996
Lieferfrist: bis zu 10 Tage

The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications.
The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets.


Produkteigenschaften


  • Artikelnummer: 9783540609438
  • Medium: Buch
  • ISBN: 978-3-540-60943-8
  • Verlag: Springer Netherlands
  • Erscheinungstermin: 25.03.1996
  • Sprache(n): Englisch
  • Auflage: 2. Auflage 1996
  • Serie: Monographs in Theoretical Computer Science. An EATCS Series
  • Produktform: Gebunden
  • Gewicht: 1170 g
  • Seiten: 236
  • Format (B x H): 155 x 235 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

1 Informal Introduction to Coloured Petri Nets.- 2 Formal Definition of Coloured Petri Nets.- 3 Hierarchical Coloured Petri Nets.- 4 Dynamic and Static Properties of Coloured Petri Nets.- 5 Formal Analysis of Coloured Petri Nets.- 6 Computer Tools for Coloured Petri Nets.- 7 Industrial Applications of Coloured Petri Nets.- References.