System Modeling and Control with Resource-Oriented Petri Nets

<p>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.</p><p><strong>System Modeling and Control with Resource-Oriented Petri Nets</strong> 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. </p><p>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. </p><p>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. </p>