Електронна книга > Наука > Информатика > Прикладное программное обеспечение > Harro Wimmel: Entscheidbarkeit bei Petri Netzen (PDF)

Harro Wimmel
Entscheidbarkeit bei Petri Netzen [PDF ebook]
Uberblick und Kompendium

поддержка

Обложка Harro Wimmel: Entscheidbarkeit bei Petri Netzen (PDF)

Petri Netze sind das am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze. In diesem Buch werden erstmals alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und systematisch behandelt. Dazu gehören neben dem Erreichbarkeitsproblem Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen. Dabei werden verschiedene Sprach- und Akzeptanzmodelle in Betracht gezogen. Zusätzlich beleuchtet der Autor einige Erweiterungen von Netzen.

€10.21

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык немецкий ● Формат PDF ● ISBN 9783540854715 ● издатель Springer Berlin Heidelberg ● опубликованный 2008 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6320696 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

14 515 Электронные книги в этой категории

Обложка Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Обложка Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy st …

Обложка Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI w …

Обложка Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

Обложка Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Обложка Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Cloud computing has created a shift from the use of physical hardware and locally managed software-enabled platforms to that of virtualized cloud-hosted services. Cloud assembles large networks of vi …

Обложка Alexandre F Malavasi Cardoso: Implementing Design Patterns in C# 11 and .NET 7 - 2nd Edition

Alexandre F Malavasi Cardoso: Implementing Design Patterns in C# 11 and .NET 7 — 2nd Edition

This book is a complete guide to design patterns and object-oriented programming (OOP) in C# and .NET. It covers everything from the basics of C# and Visual Studio to advanced topics like software ar …

Обложка Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Charles W. (University of Maryland, College Park, USA) Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Обложка S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

Обложка Ivica Coric & Drazena Gaspar: Bridging Relational and NoSQL Databases

Ivica Coric & Drazena Gaspar: Bridging Relational and NoSQL Databases

Следущая страница >>>