Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Coloured Petri Nets Kurt Jensen

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Szerző: Kurt Jensen, Lars M. Kristensen
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
32 829 Ft
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distri...

Információk a könyvről

Szerző
Kurt Jensen, Lars M. Kristensen
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2009
oldal
384
EAN
9783642002830
ISBN
3642002838
Enbook ID
01649336
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
1620
Méretek
155 x 235 x 27

Teljes leírás

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 of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains.§Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals.§Book website: http://www.cs.au.dk/CPnets/cpnbook/

Érdekelheti

HOUSES and HOMES

EMEE GREEN
6 387 Ft

Vampire World

Roman Peters
4 240 Ft

Cosmic Rays

Michael W. Friedlander
22 414 Ft

Extreme Birdwatching: Measuring Change on a Galápagos Island

Jamie Green
5 081 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Vom Ancien Regime Zum Wiener Kongress

Elisabeth Fehrenbach
10 021 Ft

Dual-Career Couples Unter Personalwirtschaftlich-Systemtheoretischem Blickwinkel

Ariane Ostermann
49 953 Ft

ASPECTES SANITARIS DELS ARXIUS PARROQUIALS DEL PRIORAT

PAU I ROIGE
3 258 Ft