Journal ArticleDOI
An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems
Reads0
Chats0
TLDR
It is shown that if one can identify certain structures in a net structure at the initial stage, it is possible to achieve desirable controllers for the original systems and the theoretical correctness of the proposed algorithm is discussed.Abstract:
Sensors and actuators are two indispensable parts in the paradigm of feedback control. Their implementation cost should be properly evaluated and constrained. In the previous work, a Petri net monitor with the least cost is synthesized through integer programming formulation. Despite its technical correctness, the existing method may lead to undesirable results when the net structure contains some shared or unshared resource places of a manufacturing-oriented net model. A necessary and sufficient condition is established to show that certain structures can lead to deadlock-prone supervisors. An efficient algorithm is developed to identify such structures. Furthermore, it is shown that if one can identify such structures at the initial stage, it is possible to achieve desirable controllers for the original systems. The theoretical correctness of the proposed algorithm is discussed. A manufacturing example is provided to illustrate the proposed approach.read more
Citations
More filters
Journal ArticleDOI
Stochastic Modeling and Quality Evaluation of Infrastructure-as-a-Service Clouds
TL;DR: This work proposes an analytical model-based approach for quality evaluation of Infrastructure-as-a-Service cloud by considering expected request completion time, rejection probability, and system overhead rate as key quality metrics.
Journal ArticleDOI
Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets
TL;DR: This paper presents an automatic Web service composition method that deals with both input/output compatibility and behavioral constraint compatibility of fuzzy semantic services.
Journal ArticleDOI
Model Predictive Control of Central Chiller Plant With Thermal Energy Storage Via Dynamic Programming and Mixed-Integer Linear Programming
TL;DR: This work proposes a model predictive control strategy to optimally schedule the campus central plant based on plant system dynamics and predicted campus cooling load and proposes a heuristic algorithm to obtain suboptimal solutions for the MPC problem.
Journal ArticleDOI
Two-agent stochastic flow shop deteriorating scheduling via a hybrid multi-objective evolutionary algorithm
TL;DR: A hybrid multi-objective evolutionary algorithm which is a combination of an evolutionary algorithm and a local search method is proposed which maintains two populations and one archive to solve a two-agent stochastic flow shop deteriorating scheduling problem.
Journal ArticleDOI
Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges
TL;DR: A thorough review of the state-of-the-art research results about modeling and optimal scheduling of clusters tools and indicates the future research directions is presented.
References
More filters
Journal ArticleDOI
Supervisory control of a class of discrete event processes
Peter J. Ramadge,W. M. Wonham +1 more
TL;DR: In this paper, the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly non-deterministic, is studied. And the existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language, where the control process is described as the generator of a formal language, while the supervisor is constructed from the grammar of a specified target language that incorporates the desired closed-loop system behavior.
Journal ArticleDOI
A Petri net based deadlock prevention policy for flexible manufacturing systems
TL;DR: This paper illustrates a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri nets that is built from state machines sharing a set of places modeling the availability of system resources.
Journal ArticleDOI
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
Zhiwu Li,MengChu Zhou +1 more
TL;DR: It is proved that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented and is suitable for large-scale Petri nets.
Journal ArticleDOI
Petri nets and industrial applications: A tutorial
R. Zurawski,MengChu Zhou +1 more
TL;DR: The fundamental concepts of Petri nets are introduced to researchers and practitioners, both from academia and industry, who are involved in the work in the areas of modelling and analysis of industrial types of systems, as well as those who may potentially be involved in these areas.
Book
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
MengChu Zhou,Frank DiCesare +1 more
TL;DR: This paper presents a meta-synthesis of Petri Nets using FMS as a guide for the construction of parallel Mutual Exclusions in response to the challenge of discrete event control of FMS.
Related Papers (5)
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
Zhiwu Li,MengChu Zhou +1 more