Verkauf durch Sack Fachmedien

Jensen

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Medium: Buch
ISBN: 978-3-642-08243-6
Verlag: Springer
Erscheinungstermin: 19.10.2010
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: 9783642082436
  • Medium: Buch
  • ISBN: 978-3-642-08243-6
  • Verlag: Springer
  • Erscheinungstermin: 19.10.2010
  • Sprache(n): Englisch
  • Auflage: 2. Auflage 1996. 2. corr. printing. Softcover version of original hardcover Auflage 1996
  • Serie: Monographs in Theoretical Computer Science. An EATCS Series
  • Produktform: Kartoniert, Previously published in hardcover
  • Gewicht: 388 g
  • Seiten: 236
  • Format (B x H x T): 155 x 235 x 14 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.