Информация о книге

0792377915

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Управление и проектирование информационных систем » Проектирование ИС » Hardware Design and Petri Nets

Gomes L., Lavagno L., Yakovlev A., Hardware Design and Petri Nets

, 0792377915


Описание книги

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri netsas a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of...

Поделиться ссылкой на книгу




Об авторе

Gomes L.

Lavagno L.

Yakovlev A.


Последние поступления в рубрике "Проектирование ИС"



Применение UML 2.0 и шаблонов проектирования. Практическое руководство Применение UML 2.0 и шаблонов проектирования. Практическое руководство Ларман К.

В книге рассматриваются основные принципы и приемы объектно-ориентированного анализа и проектирования (ООА/П). В ней вы найдете сведения об итеративном и гибком моделировании, шаблонах проектирования, архитектурном анализе и многих других вопросах.......

Программная инженерия. Визуальное моделирование программных систем. Учебник для СПО Программная инженерия. Визуальное моделирование программных систем. Учебник для СПО Черткова Е.

В учебнике изложены ключевые понятия программной инженерии методы, технологии, модели процесса разработки программного обеспечения. Рассмотрены инструментальные средства программной инженерии, предназначенные для автоматизации процессов разработки......

Проектирование информационных систем. Учебное пособие для вузов Проектирование информационных систем. Учебное пособие для вузов Григорьева И.С., Григорьев М.А.

В пособии хорошо представлены основные современные методы и программные решения создания информационных систем, особенно рассмотрены аспекты, имеющие непосредственное отношение к работе аналитика (проектировщика) и даны соответствующие описательные примеры, представлены методы расчета и статистические данные....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Gomes L., Lavagno L., Yakovlev A., Hardware Design and Petri Nets в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.