Petri nets: a tool for design and management of manufacturing systems
The move of manufacturing systems towards automation, integration and flexibility has increased the importance of the design phase in the life cycle of a manufacturing system. Petri Nets are the only set of tools which can support functional specification, modelling and evaluation of the future behaviour of the manufacturing system. This book is dedicated to the use of Petri Nets for specifying, modelling and evaluating the performances of manufacturing systems. The first part of the book presents the theory of Petri Nets, covering most of the recent developments. Applications of Petri Nets to modelling, evaluation and management of manufacturing systems are addressed in the second part. Numerous worked examples and solved exercises are included. Specific algorithms for planning and scheduling are provided. This book will be of great interest to students, factory engineers, managers and designers in both the academic and industrial worlds.
51 pages matching represented in Figure in this book
Results 1-3 of 51
What people are saying - Write a review
We haven't found any reviews in the usual places.
Qualitative Properties of Petri Nets
Elementary Classes of Petri Nets
Modelling and Analysis of Usual Modules
10 other sections not shown
algorithm assembly system assume buffer coloured components compute consider the PN contains one token controllable outputs corresponding coverability graph coverability tree cycle denoted elementary circuit elementary period equal event graph example Exercise feeding magazine firable Gantt chart given in Figure incidence matrix inhibitor arc initial marking M0 input places integration job-shop Kanban Let us consider linear machine Mx minimal f-invariants model of Figure module models node number of tokens obtained output place output transitions PN model PN of Figure PN presented PN with controllable presented in Figure problem product of type px and p2 qualitative properties random variable reachability graph reachability tree represented in Figure resp result scheduling self-loop short-term planning simplified simulated annealing sink transitions siphon solution source transitions strongly connected strongly connected component structurally bounded Theorem tokens in place transition firings transitions tx type Jx types of product vector