This book begins with the mathematical basics required for the study of Discrete-event dynamic systems (DEDs) and moves on to present various tools used in their modeling and control Among the instruments explained are many forms of Petri net, the sequential function chart, state charts, formal languages and max-plus algebra. Realistic industrial examples of varying complexity illustrate the concepts and methods under discussion. This book will help readers to understand DEDs quickly and to master the control methods to analyze and improve the performance of their systems. Final-year undergraduates and graduates embarking on further courses in control, manufacturing and process engineering, computer studies or operations research will find this text an invaluable aid in learning about the control of this important class of systems.

Gives the student dedicated and in-depth coverage of the control of discrete-event systems using timed, stochastic, colored, fuzzy and adaptive Petri nets Coverage of widely-used Grafcet analysis tool Examples, tutorial exercises and on-line solutions manual to make the subject simple to follow for students and to help tutors with class preparation Includes supplementary material: sn.pub/extras

Autorentext

Branislav Hrúz received his Ph.D. from the Slovak Academy of Sciences, Institute of Technical Cybernetics in Bratislava, in 1968. He joined the Research Institute of Mathematical Machines in Prague in 1960 and then the Institute of Technical Cybernetics of the Slovak Academy of Sciences, Bratislava, Slovak Republic, in 1963, and then the State Forest Products Research Institute in Bratislava, Control Engineering Laboratory, in 1971, where he led the first projects of computer automation of the woodworking industry in the former Czechoslovakia. Since 1991 he has been an Associate Professor at the Slovak University of Technology, a member of Faculty of Electrical Engineering and Information Technology, vice-head of Department of Automatic Control Systems. His main interests are in modeling and control of complex systems (especially those of a discrete-event nature), threshold logic functions, finite automata, Petri nets, control methods applied in manufacturing, and instruments and tools for the computer programming of control in practical applications. Dr. Hrúz is author or co-author of 100+ publications including three books and he has presented over fifty papers at national or international conferences. He has served as a member of programming or organizing committees of many international conferences. He acted as a visiting Professor at the Vienna University in Austria and he has lectured (by invitation) in Finland, Germany, USA, and France.

MengChu Zhou received his Ph.D. from Rensselaer Polytechnic Institute. He joined New Jersey Institute of Technology (NJIT) in 1990, and is currently a Professor of Electrical and Computer Engineering and Director of the Discrete-Event Systems Laboratory. His interests are in computer-integrated systems, Petri nets, networks, and manufacturing. He has 200+ publications including six books and 80+ journal papers. He is Managing Editor of IEEE Transactions on Systems, Man and Cybernetics (SMC), AssociateEditor of IEEE Transactions on Automation Science and Engineering, and Editor-in-Chief of International Journal of Intelligent Control and Systems. He has served as General and Program Chair of many international conferences. Dr. Zhou has led or participated in twenty-eight research and education projects with total budget over $10M, funded by the National Science Foundation, (US) Department of Defense, and industry. He was the recipient of the CIM University-LEAD Award from the Society of Manufacturing Engineers, the Perlis Research Award by NJIT, the Humboldt Research Award for US Senior Scientists, and is a Distinguished Lecturer of IEEE SMC Society. He has been invited to lecture in Australia, Canada, China, France, Germany, Hong Kong, Italy, Japan, Korea, Mexico, Taiwan, and US. He was founding chair of Discrete Event Systems Technical Committee of IEEE SMC Society, and a Co-Chair (founding) of the Semiconductor Factory Automation Technical Committee of the IEEE Robotics and Automation Society. He is a life member of the Chinese Association for Science and Technology-USA and served as its President in 1999. He is Fellow of IEEE .

Inhalt
Basic Description of Discrete-event Dynamic Systems.- Graphs in Modeling DEDS.- Formal Languages.- Control of DEDS.- Finite Automata.- Reactive Flow Diagrams.- Petri Net Models of DEDS.- Properties of Petri Nets.- Grafcet.- Timed and High-level Petri Nets.- Statecharts.- DEDS Modeling, Control and Programming.- Supervisory Control.- Job Scheduling.