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. Production Process Object Model...
Birkhäuser Cham, 2024. — 545 p. — (Computer Science Foundations and Applied Logic). — eBook ISBN 978-3-031-48278-6. About this book Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be...
Independently published, 2021. — 134 p. — ISBN 9781789236927. This book presents a collection of chapters from different areas of science and engineering, where Petri Nets have been shown to be a useful tool for the design and modeling of the problems that arise in such fields. The areas covered in this book include manufacturing systems, authentication and cyber-security,...
Springer, 2014. — 157 p. — ISBN 078-3-319-06427-7. Расширенные размеченные графики Сети Петри представляют собой формальную и теоретически богатую модель для моделирования и анализа систем. Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially...
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...
Springer, 2021. — 236 p. — ISBN 978-981-16-5202-8. This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri...
Springer, 2021. — 236 p. — ISBN 978-981-16-5202-8. This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri...
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...
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...
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,...
Springer Singapore, 2022. — 279 p. — eBook ISBN 978-981-19-6309-4. This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap),...
Springer Singapore, 2022. — 279 p. — eBook ISBN 978-981-19-6309-4. This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap),...
Springer, 2002. — 532 p. — (Springer Series in Operations Research). — ISBN 0387954457; ISBN-13 9780387954455. Petri nets have been used in operations research and the mathematical modeling of discrete-event systems ever since they were invented in the early 1960s. The applications of Petri nets are immense, having permeated many different fields, some of these being network...
Springer, 2007. — 351 p. 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. A number of...
Springer Singapore, 2023. — 464 p. — eBook ISBN 978-981-99-5154-3. Is the first one available on improving FPN models for knowledge representation and reasoning Provides many real cases to illustrate the advantages of the proposed FPN models Covers improved FPN models considering the characteristics of practical situations This book provides valuable knowledge, useful fuzzy...
Wiley-IEEE Press, 2020. — 270 p. — ISBN: 978-1-119-61970-3. This book offers an important guide to Petri net (PN) models and methods for supervisory control and system scheduling of resource allocation systems (RASs). Resource allocation systems are common in automated manufacturing systems, project management systems, cloud data centers, and software engineering systems. The...
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...
InTech, 2008. — 544 p 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 conceptually...
InTech, 2010. — 762 p. 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 concurrent...
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 Petri...
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,...
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...
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...
Springer, 1998. — 692 p. 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 theory and the...
Springer, 1998. — 488 p. 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 theory and the...
Springer Singapore, 2023. — 464 p. — eBook ISBN: 978-981-99-5154-3. Is the first one available on improving FPN models for knowledge representation and reasoning Provides many real cases to illustrate the advantages of the proposed FPN models Covers improved FPN models considering the characteristics of practical situations This book provides valuable knowledge, useful fuzzy...
CRC Press, 2006. — 308 p. 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 Using Petri Net...
Липецк: ЛГТУ, 2012. — 83 с.
Настоящее учебное пособие предназначено для организации самостоятельной работы студентов по дисциплине «Математическое моделирование», обучающихся по специальностям «Прикладная математика», «Управление качеством», «Метрология, стандартизация и сертификация». В пособие включены необходимые теоретические сведения и формулы, примеры, задания для...
Монография посвящена решению научной проблемы построения нечетких сетевых моделей (НСМ), формальных критериев, интеллектуальных вычислительных механизмов, методов, алгоритмических и программных средств моделирования динамических взаимодействующих процессов, анализа адекватности взаимодействия процессов, оптимизации ресурсов и выбора альтернатив на множестве критериев и ограничений...
Новосибирск: Институт систем информатики им. А.П. Ершова, 2012. — 56 с.
Описаны алгоритмы трансляции UCM-спецификаций (Use Case Maps) в раскрашенные сети Петри (CPN). UCM-спецификации позволяют описывать функциональные требования к системе в графической нотации, изображающей сценарии как совокупность причинно-следственных связей между событиями в системе, которые опционально...
Учебное пособие. - Одесса: ОНАС им. А. С. Попова, 2004. - 40 с.
Представлены модели, которые играют ключевую роль в компьютерных науках и теории телекоммуникаций: конечные автоматы, сети Петри, машины Тюринга. Изложены основные теоретические результаты в обозначенной области, представлены методы анализа и синтеза систем, рассмотрены области применения. Для закрепления знания...
Навчальний посібник з дисципліни «Математичне моделювання інформаційних систем» для підготовки магістрів у галузі зв’язку. Подано моделі, що вони відіграють ключову роль у комп'ютерних науках та теорії телекомунікацій: скінченні автомати, сітки Петрі, машини Тюринга. Викладено ос- новні теоретичні результати в означеній галузі, подано методи аналізу й синтезу си- стем,...
Тезисы доклада // Материалы VI отчетной научно-практической конференции профессорско-преподавательского состава и студенчества, Международный гуманитарный университет, кафедра компьютерной инженерии, Одесса, 14-16 мая, 2010, c. 27-32.
Построена универсальная ингибиторная сеть Петри, которая исполняет произвольную заданную ингибиторную сеть Петри. Граф ингибиторной сети Петри,...
М.: Наука, Главная редакция физико-математической литературы, 1984 — 158 с.
Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их устройств, а...
М.: Наука, Главная редакция физико-математической литературы, 1984 — 160 с.
OCR слой.
Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их...
СПб.: БХВ-Петербург, 2005. — 288 с. — ISBN: 5-94157-569-6 В учебном пособии дается современное изложение основ теории телетрафика, ориентированное на практическое использование. Представлено достаточно полное описание программных инструментов для построения имитационных моделей телекоммуникационных систем с помощью языка GPSS и сетей Петри. Содержится материал по анализу систем...
СПб.: БХВ-Петербург, 2005. — 288 с. — ISBN 5-94157-569-6 В учебном пособии дается современное изложение основ теории телетрафика, ориентированное на практическое использование. Представлено достаточно полное описание программных инструментов для построения имитационных моделей телекоммуникационных систем с помощью языка GPSS и сетей Петри. Содержится материал по анализу систем...
Л.: Наука, 1989. 135 с. OCR слой. Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры на маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета...
Л.: Наука, 1989. — 135 с. Рассматриваются задачи моделирования асинхронных процессов с помощью модифицированных сетей Петри. Предлагаются расширения ординарных сетей Петри, основанные на введении алгебраической структуры на маркировке позиций и средств изменения интерпретации исполняемых переходами сети функций. Формируются свойства таких сетей, механизмы отсчета времени,...
Пер с англ. — Москва: Мир, 1984. — 264 с. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов старших курсов втузов. Предисловие к русскому изданию Предисловие Введение Основные...
М.: Мир,
1984. - 264 с., ил.
Перевод с английского языка книги James L. Peterson - Petri net theory and the modeling of systems.
В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации.
Для научных работников, аспирантов и студентов...
М.: Мир, 1984.— 264 с, ил. Пер. с англ. OCR слой. В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов старших курсов втузов. Оглавление: Предисловие к русскому изданию Предисловие Введение...
Комментарии