Topic
Process architecture
About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: In this paper, a new class of coloured Petri nets is introduced, which is well suited to the modelling of manufacturing systems, and a library of model templates helps to create large models.
Abstract: The design of a manufacturing system requires modelling and performance evaluation techniques. To support this process, a modelling method based on Petri nets is proposed in this paper. A new class of coloured Petri nets is introduced, which is well suited to the modelling of manufacturing systems. Using this net class, the structure and the work plans of a manufacturing system can both be modelled separately. A library of model templates helps to create large models. The different model parts are merged automatically to create a complete model of the manufacturing system. Measures of interest can be obtained from the model by numerical analysis or simulation, showing its performance and dependability. The usefulness of the approach is shown by applying the proposed techniques to a real-life manufacturing system.
44 citations
18 Nov 1996
TL;DR: Petri net concepts are extended to deal with Petri net controllers, by including actuators and sensors as formal structures within the PetriNet controller.
Abstract: As automated manufacturing systems become more complex, the need for an effective design tool to produce both high level discrete event control system (DECS) and low level implementation, becomes increasingly more important. Petri nets represent the most effective method for both the design and implementation of DECSs. The conversion of such Petri nets into real-time applications has recently been greatly simplified through the advent of the token-passing logic (TPL) methodology. The technique has been developed for normal Petri nets, P-timed Petri nets, T-timed Petri nets and coloured Petri nets. In this paper the Petri net concepts are extended to deal with Petri net controllers, by including actuators and sensors as formal structures within the Petri net controller. The conversion of such a Petri net controller into ladder logic diagrams is also demonstrated by considering the control of a component sorting manufacturing system.
44 citations
TL;DR: In this article, a hybrid Petri net is presented as a powerful tool for modeling and simulation of semiconductor manufacturing systems, which has been used for modeling a real-life electronic components manufacturing system.
Abstract: Modelling and analysis for the design and operation of manufacturing systems is a vital need. For semiconductor manufacturing systems, which are large scale systems, discrete Petri nets do not constitute an adequate tool for modeling and analysis. In fact, use of discrete Petri nets is confronted with tile state explosion and the high cost of simulation. In this paper, hybrid Petri nets are presented as powerful tools for modeling and simulation of semiconductor manufacturing systems. This model has been used for modeling and simulation of a real life electronic components manufacturing system. It provides an accurate and first simulation of this system.
44 citations
23 Jun 2003
TL;DR: In this paper, a distributed version of the Diagnoser Approach for discrete-event systems modeled by automata is adapted and extended to on-line fault diagnosis of system modeled by Petri nets, resulting in a centralized diagnosis algorithm based on the notion of Petri net diagnosers.
Abstract: The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted and extended to on-line fault diagnosis of systems modeled by Petri nets, resulting in a centralized diagnosis algorithm based on the notion of "Petri net diagnosers". A distributed version of this centralized algorithm is also presented. This distributed version assumes that the Petri net model of the system can be decomposed into two place-bordered Petri nets satisfying certain conditions and that the two resulting Petri net diagnosers can exchange messages upon the occurrence of observable events. It is shown that this distributed algorithm is correct in the sense that it recovers the same diagnostic information as the centralized algorithm. The distributed algorithm provides an approach for tackling fault diagnosis of large complex systems.
44 citations
Book•
21 Apr 1999
TL;DR: This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms.
Abstract: From the Publisher:
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed and comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms.
44 citations