Overview
- Presents an adaptation of the Petri net analysis methods to the low-level models which can be directly used in design of logical controllers
- The researchers will find in the book certain addition to theory of Petri nets, and the practitioners – a lot of methods that can be used in CAD for verification and analysis of parallel control systems
Part of the book series: Lecture Notes in Control and Information Sciences (LNCIS, volume 356)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Reviews
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)
Authors and Affiliations
Bibliographic Information
Book Title: Dynamic Analysis of Petri Net-Based Discrete Systems
Authors: Andrei Karatkevich
Series Title: Lecture Notes in Control and Information Sciences
DOI: https://doi.org/10.1007/978-3-540-71560-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-71464-4Published: 27 April 2007
eBook ISBN: 978-3-540-71560-3Published: 05 July 2007
Series ISSN: 0170-8643
Series E-ISSN: 1610-7411
Edition Number: 1
Number of Pages: XIII, 170
Topics: Control, Robotics, Mechatronics, Systems Theory, Control