Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

The invention of reconfigurable manufacturing systems (RMSs) has created a challenging problem: how to quickly and effectively modify an RMS to address dynamic changes in a manufacturing system, such as processing failures and rework, machine breakdowns, addition of new machines, addition of new products, removal of old machines, and changes in processing routes induced by the competitive global market. This paper proposes a new model, the intelligent colored token Petri net (ICTPN), to simulate dynamic changes or reconfigurations of a system. The main idea is that intelligent colored tokens denote part types that represent real-time knowledge about changes and status of a system. Thus, dynamic configurations of a system can be effectively modeled. The developed ICTPN can model dynamic changes of a system in a modular manner, resulting in the development of a very compact model. In addition, when configurations appear, only the changed colored token of the part type from the current model has to be modified. Based on the resultant ICTPN model, deadlock-free, conservative, and reversible behavioral properties, among others, are guaranteed. The developed ICTPN model was tested and validated using the GPenSIM tool and compared with existing methods from the literature.publishedVersio

Supervisory Control and Analysis of Partially-observed Discrete Event Systems

Nowadays, a variety of real-world systems fall into discrete event systems (DES). In practical scenarios, due to facts like limited sensor technique, sensor failure, unstable network and even the intrusion of malicious agents, it might occur that some events are unobservable, multiple events are indistinguishable in observations, and observations of some events are nondeterministic. By considering various practical scenarios, increasing attention in the DES community has been paid to partially-observed DES, which in this thesis refer broadly to those DES with partial and/or unreliable observations. In this thesis, we focus on two topics of partially-observed DES, namely, supervisory control and analysis. The first topic includes two research directions in terms of system models. One is the supervisory control of DES with both unobservable and uncontrollable events, focusing on the forbidden state problem; the other is the supervisory control of DES vulnerable to sensor-reading disguising attacks (SD-attacks), which is also interpreted as DES with nondeterministic observations, addressing both the forbidden state problem and the liveness-enforcing problem. Petri nets (PN) are used as a reference formalism in this topic. First, we study the forbidden state problem in the framework of PN with both unobservable and uncontrollable transitions, assuming that unobservable transitions are uncontrollable. For ordinary PN subject to an admissible Generalized Mutual Exclusion Constraint (GMEC), an optimal on-line control policy with polynomial complexity is proposed provided that a particular subnet, called observation subnet, satisfies certain conditions in structure. It is then discussed how to obtain an optimal on-line control policy for PN subject to an arbitrary GMEC. Next, we still consider the forbidden state problem but in PN vulnerable to SD-attacks. Assuming the control specification in terms of a GMEC, we propose three methods to derive on-line control policies. The first two lead to an optimal policy but are computationally inefficient for large-size systems, while the third method computes a policy with timely response even for large-size systems but at the expense of optimality. Finally, we investigate the liveness-enforcing problem still assuming that the system is vulnerable to SD-attacks. In this problem, the plant is modelled as a bounded PN, which allows us to off-line compute a supervisor starting from constructing the reachability graph of the PN. Then, based on repeatedly computing a more restrictive liveness-enforcing supervisor under no attack and constructing a basic supervisor, an off-line method that synthesizes a liveness-enforcing supervisor tolerant to an SD-attack is proposed. In the second topic, we care about the verification of properties related to system security. Two properties are considered, i.e., fault-predictability and event-based opacity. The former is a property in the literature, characterizing the situation that the occurrence of any fault in a system is predictable, while the latter is a newly proposed property in the thesis, which describes the fact that secret events of a system cannot be revealed to an external observer within their critical horizons. In the case of fault-predictability, DES are modeled by labeled PN. A necessary and sufficient condition for fault-predictability is derived by characterizing the structure of the Predictor Graph. Furthermore, two rules are proposed to reduce the size of a PN, which allow us to analyze the fault-predictability of the original net by verifying that of the reduced net. When studying event-based opacity, we use deterministic finite-state automata as the reference formalism. Considering different scenarios, we propose four notions, namely, K-observation event-opacity, infinite-observation event-opacity, event-opacity and combinational event-opacity. Moreover, verifiers are proposed to analyze these properties

An agile and adaptive holonic architecture for manufacturing control

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. 2004. Faculdade de Engenharia. Universidade do Port

Study of photovoltaic system integration in microgrids through real-time modeling and emulation of its components using HiLeS

L'intégration actuelle des systèmes photovoltaïques dans les systèmes d'alimentation conventionnels a montré une croissance importante, ce qui a favorisé l'expansion rapide des micro-réseaux du terme anglais microgrid. Cette intégration a cependant augmenté la complexité du système d'alimentation qui a conduit à de nouveaux défis de recherche. Certains de ces défis de recherche encouragent le développement d'approches de modélisation innovantes en temps réel capables de faire face à cette complexité croissante. Dans ce contexte, une méthodologie innovante est proposée et basée sur les composants pour la modélisation et l'émulation de systèmes photovoltaïques en temps réel integers aux microgrids. L'approche de modélisation proposée peut utiliser le langage de modélisation des systèmes (SysML) pour décrire la structure et le comportement des systèmes photovoltaïques intégrés en tenant compte de leurs caractéristiques multidisciplinaires. De plus, cette étude présente le cadre de spécification de haut niveau des systèmes embarqués (HiLeS) pour transformer les modèles SysML développés en code source destinés à configurer le matériel intégré. Cette caractéristique de la generation automatique de code permet de profiter de dispositifs avec un haut degré d'adaptabilité et de performances de traitement. Cette méthodologie basée sur HiLeS et SysML est axée sur l'étude des systems photovoltaïques partiellement ombragés ainsi que des architectures flexibles en électronique de puissance en raison de leur influence sur les microgrids actuels. En outre, cette perspective de recherche est utilisée pour évaluer les stratégies de contrôle et de supervision dans les conditions normales et de défauts. Ce travail représente la première étape pour développer une approche innovante en temps réel pour modéliser et émuler des systèmes photovoltaïques complexes en tenant compte des propriétés de modularité, de haut degré d'évolutivité et des conditions de travail non uniformes. Les résultats expérimentaux et analytiques valident la méthodologie proposée.Nowadays, the integration of photovoltaic systems into electrical grids is encouraging the expansion of microgrids. However, this integration has also increased the power system complexity leading to new research challenges. Some of these research challenges require the development of innovative modeling approaches able to deal with this increasing complexity. Therefore, this thesis is intended to contribute with an innovative methodology component-based for modeling and emulating in real-time photovoltaic systems integrated to microgrids. The proposed modeling approach uses the Systems Modeling Language (SysML) to describe the structure and behavior of integrated photovoltaic systems. In addition, this study presents the High Level Specification of Embedded Systems (HiLeS) to transform automatically the developed SysML models in embedded code and Petri nets. These characteristics of automatic code generation and design based on Petri nets allow taking advantage of FPGAs for application of real-time emulation of photovoltaic systems. This dissertation is focused on partially shaded photovoltaic systems and flexible power electronics architectures because of their relevant influence on current microgrids. Furthermore, this research perspective is intended to evaluate control and supervision strategies in normal and fault conditions. This work represents the first step to develop an innovative real-time approach to model and emulate complex photovoltaic systems considering properties of modularity, high degree of scalability, and non-uniform working conditions. Finally, experimental and analytical results validate the proposed methodology

Design and Management of Manufacturing Systems

Although the design and management of manufacturing systems have been explored in the literature for many years now, they still remain topical problems in the current scientific research. The changing market trends, globalization, the constant pressure to reduce production costs, and technical and technological progress make it necessary to search for new manufacturing methods and ways of organizing them, and to modify manufacturing system design paradigms. This book presents current research in different areas connected with the design and management of manufacturing systems and covers such subject areas as: methods supporting the design of manufacturing systems, methods of improving maintenance processes in companies, the design and improvement of manufacturing processes, the control of production processes in modern manufacturing systems production methods and techniques used in modern manufacturing systems and environmental aspects of production and their impact on the design and management of manufacturing systems. The wide range of research findings reported in this book confirms that the design of manufacturing systems is a complex problem and that the achievement of goals set for modern manufacturing systems requires interdisciplinary knowledge and the simultaneous design of the product, process and system, as well as the knowledge of modern manufacturing and organizational methods and techniques

Measurements, Models, Systems and Design

531 s.

Towards semantics-driven modelling and simulation of context-aware manufacturing systems

Systems modelling and simulation are two important facets for thoroughly and effectively analysing manufacturing processes. The ever-growing complexity of the latter, the increasing amount of knowledge, and the use of Semantic Web techniques adhering meaning to data have led researchers to explore and combine together methodologies by exploiting their best features with the purpose of supporting manufacturing system's modelling and simulation applications. In the past two decades, the use of ontologies has proven to be highly effective for context modelling and knowledge management. Nevertheless, they are not meant for any kind of model simulations. The latter, instead, can be achieved by using a well-known workflow-oriented mathematical modelling language such as Petri Net (PN), which brings in modelling and analytical features suitable for creating a digital copy of an industrial system (also known as "digital twin"). The theoretical framework presented in this dissertation aims to exploit W3C standards, such as Semantic Web Rule Language (SWRL) and Web Ontology Language (OWL), to transform each piece of knowledge regarding a manufacturing system into Petri Net modelling primitives. In so doing, it supports the semantics-driven instantiation, analysis and simulation of what we call semantically-enriched PN-based manufacturing system digital twins. The approach proposed by this exploratory research is therefore based on the exploitation of the best features introduced by state-of-the-art developments in W3C standards for Linked Data, such as OWL and SWRL, together with a multipurpose graphical and mathematical modelling tool known as Petri Net. The former is used for gathering, classifying and properly storing industrial data and therefore enhances our PN-based digital copy of an industrial system with advanced reasoning features. This makes both the system modelling and analysis phases more effective and, above all, paves the way towards a completely new field, where semantically-enriched PN-based manufacturing system digital twins represent one of the drivers of the digital transformation already in place in all companies facing the industrial revolution. As a result, it has been possible to outline a list of indications that will help future efforts in the application of complex digital twin support oriented solutions, which in turn is based on semantically-enriched manufacturing information systems. Through the application cases, five key topics have been tackled, namely: (i) semantic enrichment of industrial data using the most recent ontological models in order to enhance its value and enable new uses; (ii) context-awareness, or context-adaptiveness, aiming to enable the system to capture and use information about the context of operations; (iii) reusability, which is a core concept through which we want to emphasize the importance of reusing existing assets in some form within the industrial modelling process, such as industrial process knowledge, process data, system modelling primitives, and the like; (iv) the ultimate goal of semantic Interoperability, which can be accomplished by adding data about the metadata, linking each data element to a controlled, shared vocabulary; finally, (v) the impact on modelling and simulation applications, which shows how we could automate the translation process of industrial knowledge into a digital manufacturing system and empower it with quantitative and qualitative analytical technics

Discrete Event Systems: Models and Applications; Proceedings of an IIASA Conference, Sopron, Hungary, August 3-7, 1987

Work in discrete event systems has just begun. There is a great deal of activity now, and much enthusiasm. There is considerable diversity reflecting differences in the intellectual formation of workers in the field and in the applications that guide their effort. This diversity is manifested in a proliferation of DEM formalisms. Some of the formalisms are essentially different. Some of the "new" formalisms are reinventions of existing formalisms presented in new terms. These "duplications" reveal both the new domains of intended application as well as the difficulty in keeping up with work that is published in journals on computer science, communications, signal processing, automatic control, and mathematical systems theory - to name the main disciplines with active research programs in discrete event systems. The first eight papers deal with models at the logical level, the next four are at the temporal level and the last six are at the stochastic level. Of these eighteen papers, three focus on manufacturing, four on communication networks, one on digital signal processing, the remaining ten papers address methodological issues ranging from simulation to computational complexity of some synthesis problems. The authors have made good efforts to make their contributions self-contained and to provide a representative bibliography. The volume should therefore be both accessible and useful to those who are just getting interested in discrete event systems

Process improvement : the creation and evaluation of process alternatives

Companies continuously strive to improve their processes to increase productivity and delivered quality against lower costs. With Business Process Redesign (BPR) projects such improvement goals can be achieved. BPR involves the restructuring of business processes, stimulated by the application of information technology. Although BPR is widely applied in industry, a systematic approach that helps a team in deriving designs for better performing business processes is lacking. The approach for Process Improvement by Creating and Evaluating process alternatives (in short: the PrICE approach) is developed to describe and support the concrete steps that will lead a design team from the as-is process to the to-be process. The starting point for the PrICE approach is a model of an existing process. The as-is model contains tasks and their execution ordering, data elements that are created and used, resources and their allocation and performance information. First, redesign opportunities are identified in the process model. A redesign opportunity leads to a combination of a certain redesign operation and a process part on which this operation can be applied. The PrICE approach consists of four steps. The first step of the PrICE approach describes the selection of redesign operations. Eight redesign operations have been developed, each supporting a particular type of redesign creation. We introduce two possible means to select applicable operations: process measures and process mining. Process measures provide a global view on the characteristics of the process and their values may reveal weaknesses in the process. The idea of process mining is to discover, monitor and improve business processes by extracting knowledge from event logs. Process mining results point out what type of changes may be beneficial. Moreover, bottlenecks, i.e., parts of the process that need improvement, are detected. The second step of the approach is the selection of process parts. In this step we focus on the selection of a process part in such a way that the application of a redesign operation results in a correct process model. The third step of the approach concentrates on the creation of process alternatives. An application of a redesign operation to a selected process part results in an alternative process model. An overview of the created alternatives is provided with the process alternatives tree. The root node of the tree is the original model and the other nodes represent the created alternatives. Each of the nodes may serve as a starting point for the creation of another alternative. In the last step of the approach, the performance of the process alternatives is evaluated with simulation. Simulation provides quantitative estimates for the performance, e.g., on time or costs, of a process model. By comparing the simulation results of the models in an alternatives tree, a quantitatively supported choice for the best alternative model, the to-be process, can be made. The PrICE approach is supported with the PrICE tool kit. The tool support is implemented as part of the Process Mining (ProM) framework. The tool kit supports the application of the various steps of the approach. The first two steps are supported with the process mining techniques that are available in ProM. The main features of the PrICE tool kit are the user guidance in the selection of process parts, the creation of process alternatives, the construction of the process alternatives tree and the evaluation of the alternatives with simulation. After the selection of a redesign operation, a process part for redesign is selected by the user by clicking on the tasks in the process model. Colors are used to guide the user and show which tasks may be added to the current selection to form a process part. This way, it is ensured that the input for the creation of a process alternative is such that a correct alternative model can be created. After the creation of an alternative model, the process alternatives tree is updated with a new node representing this alternative. Each node in the alternatives tree can be selected as starting point for the creation of another process alternative. With regard to the evaluation of the alternatives, one can select a subset of nodes for simulation or simulate the complete tree. A simulation study is performed in batch, i.e., all selected models are simulated without user interaction. Afterwards, the simulation results are displayed on the tree nodes. In addition, colors are used to guide the user in finding the best performing alternatives. The developed tool support demonstrates the feasibility of our ideas. This feasibility is also illustrated with several applications of the tool kit to real life processes. Apart from the development of the PrICE approach and tool kit, the thesis includes several other contributions. A contribution is the creation of correct process models. We refer to a process model as correct if the workflow structure is sound and if the data distribution is correct. A correct data distribution is an assignment of the data elements to the tasks in the process in such a way that the data elements necessary for the execution of a task have been written when the task becomes enabled. Requirements on the workflow structure and data distribution are set on the selection of process parts and the creation of alternatives to ensure the construction of correct process alternatives. Another contribution is the overview of the created process alternatives with the process alternatives tree. An alternative model may be created from the original model (the root node) or from one of the alternative models (any other node). The alternatives tree is also used as input for the evaluation of the performance of the alternatives and to provide an overview of the simulation results. A final contribution is the enhancement of the practical use of simulation for process redesign. On the one hand, the automation of the simulation study reduces the necessary time investment because intermediate input from the user is not required. On the other hand, we present a simulation plan that facilitates the understanding of the various aspects that should be addressed in a simulation study