|
|
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
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Актуальные проблемы современной науки. Естественные наукиАвтор:Категория: ВУЗовская наука программы методики
Размер книги: 1.06 Mb
Supporting South Asian Families With a Child With Severe DisabilitiesАвтор: Chris Hatton, Автор: Yasmeen Akram, Автор: Robina Shah, Автор: Janet Robertson, Автор: Eric Emerson
Размер книги: 724 Kb
Modeling, Simulation and Optimization of Complex Processes: Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, VietnamАвтор: Hans Georg Bock, Автор: Ekaterina Kostina, Автор: Hoang Xuan Phu, Автор: Rolf Rannacher (Editors)Категория: Математика, Прикладная математика
Размер книги: 12.03 Mb
Safety with MachineryАвтор: John Ridley BSc CEng MIMechE FIOSH DMS, Автор: Dick Pearce BSc CEng FIEE
Размер книги: 2.25 Mb
|
|
|