topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 14
 |
A Primer in Petri Net Design
ISBN: 9783642753312 / Angielski / Miękka / 2011 / 120 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and...
Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousn...
|
cena:
403,47 |
 |
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
ISBN: 9783642332777 / Angielski / Twarda / 2013 / 230 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.
This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations...
|
cena:
282,42 |
 |
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
ISBN: 9783834812902 / Niemiecki / Twarda / 2010 / 248 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Petrinetze haben sich als Modellierungstechnik fur informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermassen beliebt.
Die Inhalte werden ausserst anschaulich dargestellt; nur zum prazisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; fur Varianten, Zusatze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Losungen der Ubungsaufgaben, Diskussionsforen etc. stehen in digitaler Form... Petrinetze haben sich als Modellierungstechnik fur informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit au...
|
cena:
143,25 |
 |
Petri Nets: An Introduction
ISBN: 9783642699702 / Angielski / Miękka / 2011 / 164 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri 1]. Since this seminal paper, nets have been applied in various areas, at the same time being modified and theoretically investigated. In recent time, computer scientists are taking a broader interest in net theory. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application. It introduces the basic net theoretical concepts and ways of thinking, motivates them by means of examples and derives...
Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri 1]. Since this seminal p...
|
cena:
201,72 |
 |
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
ISBN: 9783540627524 / Angielski / Twarda / 1998 / 302 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides...
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor cluste...
|
cena:
161,21 |
 |
Informatik: Aktuelle Themen Im Historischen Kontext
ISBN: 9783540327424 / Niemiecki / Miękka / 2006 / 346 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Die Informatik ist eine junge Wissenschaft, die sich durch einen rasanten technischen Fortschritt auszeichnet. Dadurch wird haufig ubersehen, dass aktuelle Themen eine teilweise lange Entwicklungsgeschichte durchlaufen haben. Informatikprofessoren der Humboldt-Universitat zu Berlin haben zu einigen ihrer aktuellen Arbeitsgebiete die Entwicklungslinien von den Anfangen bis Gegenwart mit einem Ausblick auf die mogliche Zukunft aufgezeichnet. Dieser spannende und lehrreiche Einblick in die Informatik offnet die Tur zu einem umfassenden und nicht nur technologisch gepragten... Die Informatik ist eine junge Wissenschaft, die sich durch einen rasanten technischen Fortschritt auszeichnet. Dadurch wird haufig ubersehen, dass ... |
cena:
105,56 |
 |
Petrinetze: Eine Einführung
ISBN: 9783540166221 / Niemiecki / Miękka / 1986 / 205 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 1 d Petrinetze sind fur den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch fuhrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schliesslich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstande und Invarianten ausfuhrlich besprochen - also Methoden, die nicht auf...
1 d Petrinetze sind fur den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Soft...
|
cena:
207,36 |
 |
Systementwurf Mit Netzen
ISBN: 9783642954580 / Niemiecki / Miękka / 2012 / 126 str. Termin realizacji zamówienia: ok. 22 dni roboczych. "Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint? Beginnen wir mit den Systemen: sie sind in diesem Buch sehr aIlgemein aufgefaBt als "organisatorische Systeme," in denen geregelte Flusse von Gegenstanden und Informationen bedeutsam sind. Unter den Netzen wie derum wollen wir bier solche verstehen, wie sie im Rahmen der Netztheorie nach C. A. Petri entwickelt wurden: sogenannte "Petrinetze." Diese Petri netze haben sich in der Praxis entschieden bewahrt. Wir werden im Verlauf des Buches...
"Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint?...
|
cena:
150,79 |
 |
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
ISBN: 9783662523070 / Angielski / Miękka / 2016 / 230 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.
This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations...
|
cena:
201,72 |
 |
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
ISBN: 9783642083037 / Angielski / Miękka / 2010 / 302 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides...
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor cluste...
|
cena:
161,21 |
 |
Understanding the Digital World: Modeling with Heraklit
ISBN: 9783031618970 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
181,55 |
 |
Lectures on Petri Nets I: Basic Models: Advances in Petri Nets
ISBN: 9783540653066 / Angielski / Miękka / 1998 / 691 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.
Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications... The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, add...
|
cena:
201,72 |
 |
Carl Adam Petri: Ideas, Personality, Impact
ISBN: 9783319961538 / Angielski / Twarda / 2019 / 249 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
181,55 |
 |
Lectures on Petri Nets II: Applications: Advances in Petri Nets
ISBN: 9783540653073 / Angielski / Miękka / 1998 / 487 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.
Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications... The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, add...
|
cena:
201,72 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
