Зарегистрироваться
Восстановить пароль
FAQ по входу

Сети Петри

Теги, соответствующие этому тематическому разделу

Файлы, которые ищут в этом разделе

Доверенные пользователи и модераторы раздела

InTeOpP, 2010. — 229 p. — ISBN: 9533071087, 9789533071084 This book is a collection of recent advances in theoretical and practical applications of the Petri net method and can be useful for both academia and industry related practitioners. Petri net is a method which is based on a well-founded mathematical theory and has a wide application. Contents: Preface Production...
  • №1
  • 11,80 МБ
  • добавлен
  • изменен
Springer, 2010. — 573 p. — ISBN: 364206129X, 9783642061295 This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri Nets the book imparts an accurate understanding of continuous and hybrid Petri Nets. Preserving the consistency of basic concepts throughout...
  • №2
  • 5,45 МБ
  • добавлен
  • изменен
Springer, 2017. — 162 p. — ISBN 978-3-319-53321-6. This book presents for the first time a methodology that combines the power of a modelling formalism such as colored petri nets with the flexibility of a discrete event program such as SIMIO. Industrial practitioners have seen the growth of simulation as a methodology for tacking problems in which variability is the common...
  • №3
  • 4,56 МБ
  • добавлен
  • изменен
Wiley, 2009. – 656 p. – ISBN: 1848210795, 9781848210790 A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and...
  • №4
  • 3,70 МБ
  • добавлен
  • изменен
Springer, 2003. — 601 p. — ISBN: 3642074472, Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields,...
  • №5
  • 12,72 МБ
  • добавлен
  • изменен
Издательство Springer, 2007, -351 pp. This book presents results of research achieved in friendly collaboration across borders and moreover between continents and emphasizes a belief in engineering science being for the benefit of mankind the world over. This aspect of the book’s ethos is epitomized by the authors’ profiles, one being from Central Europe and one from the USA....
  • №6
  • 3,50 МБ
  • добавлен
  • изменен
Springer, 2009. — 382 p. — ISBN 3642002838. 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...
  • №7
  • 3,35 МБ
  • добавлен
  • изменен
Издательство InTech, 2008, -544 pp Although many other models of concurrent and distributed systems have been developed since the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both the theory and the applications. The main attraction of Petri nets is the way in which the basic aspects of concurrent systems are captured both...
  • №8
  • 8,58 МБ
  • добавлен
  • изменен
Springer, 2015. — 190 p. — (Lecture Notes in Computer Science 9410). — ISBN: 9783662486498, 9783662486504. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed....
  • №9
  • 6,20 МБ
  • добавлен
  • изменен
Издательство InTech, 2010, -762 pp. Petri Nets are the graphical and mathematical tool used in many different science domains. Their characteristic features are the intuitive graphical modeling language and advanced formal analysis method. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling...
  • №10
  • 71,42 МБ
  • добавлен
  • изменен
InTech – 2012, 502 pages ISBN: 9535107002, 9789535107002 The monograph shows the results of research works performed with use of Petri Nets in science centers all over the world. The present monograph focuses on Petri Nets applications in two main areas: manufacturing and computer science. These two areas have still huge influence on our lives and our world. The theory of...
  • №11
  • 12,46 МБ
  • добавлен
  • изменен
Springer, 2006. — 280 p. This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets,...
  • №12
  • 2,47 МБ
  • добавлен
  • изменен
Springer, 2013. — 209 p. 60 illus., 6 illus. in color — ISBN: 9783642411151 At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are...
  • №13
  • 1,95 МБ
  • добавлен
  • изменен
Springer, 2013. — 235 p. — ISBN: 3642332773, 9783642332777 With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been...
  • №14
  • 3,54 МБ
  • добавлен
  • изменен
Издательство Springer, 1998, -692 pp. Since Petri nets were introduced by C. A. Petri in his seminal PhD thesis in 1964, both the theory and the applications of this model have been flourishing. Although many other models of concurrent and distributed systems have been developed since then, Petri nets are still a central model for concurrent systems with respect to both the...
  • №15
  • 5,87 МБ
  • добавлен
  • изменен
Издательство Springer, 1998, -488 pp. Since Petri nets were introduced by C. A. Petri in his seminal PhD thesis in 1964, both the theory and the applications of this model have been flourishing. Although many other models of concurrent and distributed systems have been developed since then, Petri nets are still a central model for concurrent systems with respect to both the...
  • №16
  • 4,50 МБ
  • добавлен
  • изменен
Lecture Notes, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII), volume 7480 of Lecture Notes in Computer Science, pages 372- 422. Springer-Verlag, Berlin, 2013. As information systems are becoming more and more intertwined with the operational processes they support, multitudes of events are recorded by todays information systems. The goal of process...
  • №17
  • 1,90 МБ
  • добавлен
  • изменен
Издательство CRC Press, 2006, -308 pp. In the early 1990s, Naiqi Wu was a visiting scholar at the School of Industrial Engineering, at Purdue University, West Lafayette, Indiana, and worked in the field of design, scheduling, and control of automated manufacturing systems (AMS). One day, the paper Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems...
  • №18
  • 6,22 МБ
  • добавлен
  • изменен
Монография посвящена решению научной проблемы построения нечетких сетевых моделей (НСМ), формальных критериев, интеллектуальных вычислительных механизмов, методов, алгоритмических и программных средств моделирования динамических взаимодействующих процессов, анализа адекватности взаимодействия процессов, оптимизации ресурсов и выбора альтернатив на множестве критериев и ограничений...
  • №19
  • 4,84 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. - Одесса: ОНАС им. А. С. Попова, 2004. - 40 с. Представлены модели, которые играют ключевую роль в компьютерных науках и теории телекоммуникаций: конечные автоматы, сети Петри, машины Тюринга. Изложены основные теоретические результаты в обозначенной области, представлены методы анализа и синтеза систем, рассмотрены области применения. Для закрепления знания...
  • №20
  • 895,22 КБ
  • дата добавления неизвестна
  • изменен
Навчальний посібник з дисципліни «Математичне моделювання інформаційних систем» для підготовки магістрів у галузі зв’язку. Подано моделі, що вони відіграють ключову роль у комп'ютерних науках та теорії телекомунікацій: скінченні автомати, сітки Петрі, машини Тюринга. Викладено ос- новні теоретичні результати в означеній галузі, подано методи аналізу й синтезу си- стем,...
  • №21
  • 496,72 КБ
  • добавлен
  • изменен
Тезисы доклада // Материалы VI отчетной научно-практической конференции профессорско-преподавательского состава и студенчества, Международный гуманитарный университет, кафедра компьютерной инженерии, Одесса, 14-16 мая, 2010, c. 27-32. Построена универсальная ингибиторная сеть Петри, которая исполняет произвольную заданную ингибиторную сеть Петри. Граф ингибиторной сети Петри,...
  • №22
  • 363,55 КБ
  • дата добавления неизвестна
  • изменен
М.: Наука, Главная редакция физико-математической литературы, 1984 — 160 с. OCR слой. Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их...
  • №23
  • 2,68 МБ
  • добавлен
  • изменен
М.: Наука, Главная редакция физико-математической литературы, 1984 — 158 с. Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их устройств, а...
  • №24
  • 5,23 МБ
  • добавлен
  • изменен
СПб.: БХВ-Петербург, 2005. — 288 с. В учебном пособии дается современное изложение основ теории телетрафика, ориентированное на практическое использование. Представлено достаточно полное описание программных инструментов для построения имитационных моделей телекоммуникационных систем с помощью языка GPSS и сетей Петри. Содержится материал по анализу систем массового обслуживания...
  • №25
  • 27,44 МБ
  • добавлен
  • изменен
В учебном пособии дается современное изложение основ теории телетрафика, ориентированное на практическое использование. Представлено достаточно полное описание программных инструментов для построения имитационных моделей телекоммуникационных систем с помощью языка GPSS и сетей Петри. Содержится материал по анализу систем массового обслуживания классическими методами теории...
  • №26
  • 3,19 МБ
  • дата добавления неизвестна
  • изменен
Л.: Наука, 1989. 135 с. OCR слой. Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры на маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета...
  • №27
  • 1,54 МБ
  • добавлен
  • изменен
Москва: Мир, 1984. — 264 с. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов старших курсов втузов.
  • №28
  • 127,74 МБ
  • добавлен
  • изменен
М.: Мир, 1984. - 264 с., ил. Перевод с английского языка книги James L. Peterson - Petri net theory and the modeling of systems. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов...
  • №29
  • 5,44 МБ
  • дата добавления неизвестна
  • изменен
М.: Мир, 1984.— 264 с, ил. Пер. с англ. OCR слой. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов старших курсов втузов. Оглавление: Предисловие к русскому изданию...
  • №30
  • 4,93 МБ
  • добавлен
  • изменен
В этом разделе нет файлов.

Комментарии

В этом разделе нет комментариев.