|
|
libcats.org
Coloured Petri Nets modeling and validation of concurrent systemsKurt Jensen, Lars M. KristensenColoured 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/
Скачать книгу бесплатно (pdf, 3.53 Mb)
Читать «Coloured Petri Nets modeling and validation of concurrent systems» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Advanced Flash Interface DesignАвтор: Guido Rosso, Автор: Brian Monnone, Автор: Michael Kemper
Размер книги: 13.38 Mb
Изоцианаты. Методы синтеза и физико-химические свойства алкил-, арил-и гетерилизоцианатовАвтор: Горбатейко В.И., Автор: Журавлёв Е.З., Автор: Самарай Л.И.
Размер книги: 2.54 Mb
Idealism Without Absolutes: Philosophy and Romantic CultureАвтор: Tilottama Rajan, Автор: Arkady Plotnitsky
Размер книги: 2.19 Mb
Mythic Vistas: The Black Company Campaign SettingАвтор: Robert J. Schwalb, Автор: Owen K. C. Stephens, Автор: Scott Gearin
Размер книги: 128.35 Mb
Helffer B., F.Nier. Hypoelliptic Estimates and Spectral Theory for Fokker-Planck Operators and Witten Laplacians (LNM1862, Springer,2005)(ISBN 3540242007)(208s)_MCf_.pdfАвтор:
Размер книги: 1.21 Mb
|
|
|