Dynamic Analysis of Petri Net-Based Discrete Systems
Springer Berlin (Verlag)
978-3-540-71464-4 (ISBN)
Main Notions, Problems and Methods.- Reduced Reachability Graphs.- Decomposition for Analysis.- Analysis by Solving Logical Equations - Calculation of Siphons and Traps.- Verification of Detailed System Descriptions.- Conclusion.
From the reviews:
"The book 'Dynamic Analysis of Petri Net-Based Discrete Systems' is dedicated to the behavioral properties analysis of parallel discrete systems using the partial state space approach. ... Appendix presents some additional results partially outside the book main topic, where the most interesting is the improved method for generation of prime implicants of Boolean functions. The book may be useful for researchers and engineers, including graduate students, interesting in the computer-aided design of logical control devices." (Krzysztof Galkowski, Zentralblatt MATH, Vol. 1121 (23), 2007)
Erscheint lt. Verlag | 27.4.2007 |
---|---|
Reihe/Serie | Lecture Notes in Control and Information Sciences |
Zusatzinfo | XIII, 170 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 296 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | Control • control system • Hardcover, Softcover / Technik/Bautechnik, Umwelttechnik • Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik • HC/Technik/Elektronik, Elektrotechnik, Nachrichtentechnik • Logical Control • Parallel Systems • Petri Nets • State Explosion • State Space Construction • System • verification |
ISBN-10 | 3-540-71464-2 / 3540714642 |
ISBN-13 | 978-3-540-71464-4 / 9783540714644 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich