|
![]() |
|||
|
||||
OverviewOver the past two decades, research in the theory of Petri nets and the development of graphical tools has yielded a powerful methodology. The contributions in this book present both the theoretical development of Petri nets and industrial applications in areas such as discrete-event control design, scheduling, performance evaluation and deadlock avoidance. There are also comparative studies of Petri nets and other approaches. A primary theme of the book is to provide a unified approach to the applications of Petri nets in flexible and agile automation and, in that regard, a common notation and terminology is used. The book also allows readers to evaluate the benefits and applicability of state-of-the-art Petri-net methods and apply CAD tools to problems of interest. Full Product DetailsAuthor: MengChu ZhouPublisher: Springer Imprint: Springer Edition: 1995 ed. Volume: 310 Dimensions: Width: 15.50cm , Height: 2.30cm , Length: 23.50cm Weight: 1.640kg ISBN: 9780792395577ISBN 10: 0792395573 Pages: 379 Publication Date: 31 March 1995 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of Contents1 Introduction to Petri Nets in Flexible and Agile Automation.- 2 Application of Petri Nets to Sequence Control Programming.- 3 Computer Aided Design of Logic Controllers with Petri Nets.- 4 Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications.- 5 Planning and Scheduling Based on Petri Nets.- 6 Petri Net-Based Heuristic Scheduling for Flexible Manufacturing.- 7 Scheduling and Rescheduling of AGVs for Flexible and Agile Manufacturing.- 8 Stochastic Petri Net Models of Communication and Flexible Systems.- 9 Deadlock Avoidance Policy for Flexible Manufacturing Systems.- 10 Discrete-Event Control Design for Manufacturing Systems via Ladder Logic Diagrams and Petri Nets: A Comparative Study.- 11 From State Transition Models to DFD Extended Methods for Specifying Reactive Systems.- 12 Supervisory Control Specification and Synthesis.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |