Coloured Petri Nets: Modeling and Validation of Concurrent Systems
Kurt Jensen, Lars M. Kristensen
Издательство: Springer
Год издания: 2009
Страниц: 384
ISBN: 978-3-642-00283-0
Язык: английский
Формат: PDF
Размер: 3 Мб
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. It features an accompanying website that offers additional material such as slides, exercises and project proposals.
sharingmatrix.com
depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12793 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Журнал Let's knit series NV4029 2003
Название: Let's knit series Издательство: N.Seto Номер: NV4029 Месяц / Год: 2003 Страниц: 84 Формат: jpg Размер файла: 12.66 Мб Язык: японскийСод . . .
-
Журнал La Cucina Italiana (Marzo 2011 )
Название: La Cucina Italiana Издательство: Quadratum S.p.A Месяц / Год: Marzo 2011 Страниц: 136 Формат: pdf Размер файла: 36,37 Мб Язык: ItalianСодерж . . .
-
Журнал Наш цветочный клуб №2 2011
Название: Наш цветочный клуб №2 2011 Номер: 2 Месяц / Год: 2011 Страниц: 36 Формат: pdf Размер файла: 25.44 Мб Содержание: Очаровательный мир растений: астр . . .
-
Ersatzteil-Liste Ta 152. Konstruktionsgruppe 7. Treibwerksanlage. Teil 1
Название: Ersatzteil-Liste Ta 152. Konstruktionsgruppe 7. Treibwerksanlage. Teil 1Издательство: Focke Wulf Flugzeugbau GmbHСтраниц: 37Формат: PDF в RARРазмер: 15 МбКачество: ХорошееГод Месяц: 1945 . . .
-
Городские восстания в России в первой половине XVII века (30-40-е годы)
Название: Городские восстания в России в первой половине XVII века (30-40-е годы)Автор: Чистякова Е.В.Издательство: Изд-во ВГУГод: 1975Страниц: 248Формат: pdfРазмер: 13,8 MBВ монографии освещается ист . . .
-
Летние садовые домики.
Название: Летние садовые домики Автор: X.А.Бутусов, Ю.А.Новоселов,Е.Р.Феоктистова Издательство: Россельхозиздат Год издания: 1986 Страниц: 223 Язык: Русский Формат: PDF Размер: 24 Мб Описание: Книга . . .
-
Домашняя лаборатория №2 (февраль 2011)
feed_id: 5201 pattern_id: 20 "Домашняя лаборатория" - это весьма большой и увлекательный, научно-прикладной и образовательный, но некоммерческий интернет-журнал, созданный группой энтузиастов. Интерн . . .
-
Мезонин №2 (февраль 2011)
feed_id: 5201 pattern_id: 20 Ваш дом – это ваш образ жизни. Сделайте его прекрасным, как советует журнал "Мезонин". В нем вы найдете: как украсить свою квартиру; секреты создания уютного пространства . . .
-
Elektronika dla Wszystkich №7 2009.
Название: Elektronika dla Wszystkich №7 2009 Автор: коллектив Год издания: 2009 Страниц: 62 Язык: Польский Формат: PDF Качество: среднее Размер: 50.7 Мб Описание: "Elektronika dla Wszystkich" ("Элект . . .
-
30 уроков немецкого. Практический курс.
Название: 30 уроков немецкого. Практический курс Автор: Богданов А.В. Издательство: Химера Год издания: 2001 Страниц: 130 Язык: Русский Формат: pdf Качество: отличное Размер: 6 МбОписание: Впервые п . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.