One critical barrier leading to successful implementation of flexible manufacturing and related automated systems is the ever-increasing complexity of their modeling, analysis, simulation, and control. Research and development over the last three decades has provided new theory and graphical tools based on Petri nets and related concepts for the design of such systems. The purpose of this book is to introduce a set of Petri-net-based tools and methods to address a variety of problems associated with the design and implementation of flexible manufacturing systems (FMSs), with several implementation examples.There are three ways this book will directly benefit readers. First, the book will allow engineers and managers who are responsible for the design and implementation of modern manufacturing systems to evaluate Petri nets for applications in their work. Second, it will provide sufficient breadth and depth to allow development of Petri-net-based industrial applications. Third, it will allow the basic Petri net material to be taught to industrial practitioners, students, and academic researchers much more efficiently. This will foster further research and applications of Petri nets in aiding the successful implementation of advanced manufacturing systems.
This handbook is a compilation of the current practical knowledge of flexible manufacturing systems (FMS). FMS allow manufacturing plants of all sizes to reduce their inventory while increasing their ability to meet consumer demands. By controlling automatic guided vehicles, robots, and machine tools with one central computer, products can now be produced in a variety of styles and models all at the same time. FMS are designed to adapt quickly and economically to changes in requirements and to unpredictable events. This guide explains how to effectively employ these useful new systems. - Includes specifications for software to implement simulation modeling - Surveys practical applications in the workplace - Presents materials in a step-by-step workbook style
This book has been written for all those interested in flexible manufacturing systems (FMS) and other forms of computerized manufacturing systems (CMS). It deals with many aspects of the design, operation, and simulation of FMS and explains the origins of FMS.
Petri nets are widely used in modeling, analysis, and control of discrete event systems arising from manufacturing, transportation, computer and communication networks, and web service systems. However, Petri net models for practical systems can be very large, making it difficult to apply such models to real-life problems. System Modeling and Control with Resource-Oriented Petri Nets introduces a new resource-oriented Petri net (ROPN) model that was developed by the authors. Not only does it successfully reduce model size, but it also offers improvements that facilitate effective modeling, analysis, and control of automated and reconfigurable manufacturing systems. Presenting the latest research in this novel approach, this cutting-edge volume provides proven theories and methodologies for implementing cost and time-saving improvements to contemporary manufacturing systems. It provides effective tools for deadlock avoidance—deadlock-free routing and deadlock-free scheduling. The authors supply simple and complex industrial manufacturing system examples to illustrate time-tested concepts, theories, and approaches for solving real-life application problems. Written in a clear and concise manner, the text covers applications to automated and reconfigurable manufacturing systems, automated guided vehicle (AGV) systems, semiconductor manufacturing systems, and flexible assembly systems. Explaining complex concepts in a manner that is easy to understand, the authors provide the understanding and tools needed for more effective modeling, analysis, performance evaluation, control, and scheduling of engineering processes that will lead to more flexible and efficient manufacturing systems.
Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications introduces you to a broad array of modeling and simulation issues related to computer networks and systems. It focuses on the theories, tools, applications and uses of modeling and simulation in order to effectively optimize networks. It describes methodologies for modeling and simulation of new generations of wireless and mobiles networks and cloud and grid computing systems. Drawing upon years of practical experience and using numerous examples and illustrative applications recognized experts in both academia and industry, discuss: - Important and emerging topics in computer networks and systems including but not limited to; modeling, simulation, analysis and security of wireless and mobiles networks especially as they relate to next generation wireless networks - Methodologies, strategies and tools, and strategies needed to build computer networks and systems modeling and simulation from the bottom up - Different network performance metrics including, mobility, congestion, quality of service, security and more... Modeling and Simulation of Computer Networks and Systems is a must have resource for network architects, engineers and researchers who want to gain insight into optimizing network performance through the use of modeling and simulation. - Discusses important and emerging topics in computer networks and Systems including but not limited to; modeling, simulation, analysis and security of wireless and mobiles networks especially as they relate to next generation wireless networks - Provides the necessary methodologies, strategies and tools needed to build computer networks and systems modeling and simulation from the bottom up - Includes comprehensive review and evaluation of simulation tools and methodologies and different network performance metrics including mobility, congestion, quality of service, security and more
Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines. Formal Methods in Manufacturing Systems: Recent Advances explores this shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources. This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first self-contained volume on augmented marked graphs, and will be useful to both researchers and practitioners in the fields of Petri nets and system integration.
Sustainable production automation, as an effective way to enable and expedite transitions to sustainability and enhance resource utilizations, attracts substantial efforts from researchers in both academy and industry. This book presents the recent development of innovative algorithms, models, heuristics, hardware and software in broad areas of sustainable production systems. It focuses on design, analysis and management of the processes involved in the product life cycle (from design to delivery to return) to have the minimal negative impacts on society (including environmental, economic and social). The contributors are experts from both universities and industrial research centers.
In the last decade, the production of mechanical components to be assembled in final products produced in high volumes (e.g. cars, mopeds, industrial vehicles, etc.) has undergone deep changes due to the overall modifications in the way companies compete. Companies must consider competitive factors such as short lead times, tight product tolerances, frequent market changes and cost reduction. Anyway, companies often have to define production objectives as trade-offs among these critical factors since it can be difficult to improve all of them. Even if system flexibility is often considered a fundamental requirement for firms, it is not always a desirable characteristic of a system because it requires relevant investment cost which can jeopardize the profitability of the firm. Dedicated systems are not able to adapt to changes of the product characteristics while flexible systems offer more flexibility than what is needed, thus increasing investment and operative costs. Production contexts characterized by mid to high demand volume of well identified families of products in continuous evolution do not require the highest level of flexibility; therefore, manufacturing system flexibility must be rationalized and it is necessary to find out the best trade-off between productivity and flexibility by designing manufacturing systems endowed with the right level of flexibility required by the production problem. This new class of production systems can be named Focused Flexibility Manufacturing Systems-FFMSs. The flexibility degree in FFMSs is related to their ability to cope with volume, mix and technological changes, and it must take into account both present and future changes. The required level of system flexibility impacts on the architecture of the system and the explicit design of flexibility often leads to hybrid systems, i.e. automated integrated systems in which parts can be processed by both general purpose and dedicated machines. This is a key issue of FFMSs and results from the matching of flexibility and productivity that respectively characterize FMSs and Dedicated Manufacturing Systems (DMSs). The market share of the EU in the machine tool sector is 44%; the introduction of focused flexibility would be particularly important for machine tool builders whose competitive advantage is based on the ability of customizing their systems on the basis of needs of their customers. In fact, even if current production contexts frequently present situations which would fit well with the FFMS approach, tradition and know-how of machine tool builders play a crucial role. Firms often agree with the focused flexibility vision, nevertheless they decide not to pay the risk and efforts related to the design of this new system architecture. This is due also to the lack of well-structured design approaches which can help machine tool builders to configure innovative systems. Therefore, the FFMS topic is studied through the book chapters following a shared mission: "To define methodologies and tools to design production systems with a minimum level of flexibility needed to face, during their lifecycle, the product and process evolution both in the technological and demand aspects. The goal is to find out the optimal trade-off between flexibility and productivity". The book framework follows the architecture which has been developed to address the FFMS Design problem. This architecture is both broad and detailed, since it pays attention to all the relevant levels in a firm hierarchy which are involved in the system design. Moreover, the architecture is innovative because it models both the point of view of the machine tool builder and the point of view of the system user. The architecture starts analyzing Manufacturing Strategy issues and generating the possible demand scenario to be faced. Technological aspects play a key role while solving process plan problems for the products in the part family. Strategic and technological data becomes input when a machine tool builder performs system configuration. The resulting system configurations are possible solutions that a system user considers when planning its system capacity. All the steps of the architecture are deeply studied, developing methods and tools to address each subproblem. Particular attention is paid to the methodologies adopted to face the different subproblems: mathematical programming, stochastic programming, simulation techniques and inverse kinematics have been used. The whole architecture provides a general approach to implement the right degree of flexibility and it allows to study how different aspects and decisions taken in a firm impact on each other. The work presented in the book is innovative because it gives links among different research fields, such as Manufacturing Strategy, Process Plan, System Design, Capacity Planning and Performance Evaluation; moreover, it helps to formalize and rationalize a critical area such as manufacturing system flexibility. The addressed problem is relevant at an academic level but, also, at an industrial level. A great deal of industrial sectors need to address the problem of designing systems with the right degree of flexibility; for instance, automotive, white goods, electrical and electronic goods industries, etc. Attention to industrial issues is confirmed by empirical studies and real case analyses which are presented within the book chapters.
