Produktbild
Kurt Jensen

Coloured Petri Nets

Modeling and Validation of Concurrent Systems

Buch

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use o… Mehr

CHF 115.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Kristensen, Lars M.
  • ISBN: 978-3-642-00283-0
  • EAN: 9783642002830
  • Produktnummer: 4418168
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2009
  • Seitenangabe: 384 S.
  • Masse: H24.1 cm x B16.0 cm x D2.7 cm 758 g
  • Gewicht: 758

35 weitere Werke von Kurt Jensen:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.