scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
Kurt Jensen1
TL;DR: It is shown how Petri nets can be generalized to allow processes to be described by a common subnet, without losing the ability to distinguish between them.

639 citations

Journal ArticleDOI
01 Jan 2004
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.
Abstract: A variety of important Petri net-based methods to prevent deadlocks arising in flexible manufacturing systems (FMS) are to add some control places and related arcs to strict minimal siphons (SMS) such that no siphon can be emptied. Since the number of minimal siphons grows in general exponentially with respect to a Petri net size, their disadvantages lie in that they often add too many additional places to the net, thereby making the resulting net model much more complex than the original one. This paper explores ways to minimize the new additions of places while achieving the same control purpose. It proposes for the first time the concept of elementary siphons that are a special class of siphons. The set of elementary siphons in a Petri net is generally a proper subset of the set of all SMS. Its smaller cardinality becomes evident in large Petri net models. This paper proves that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented. Compared with the existing methods, the new method requires a much smaller number of control places and, therefore, is suitable for large-scale Petri nets. An FMS example is used to illustrate the proposed concepts and policy, and show the significant advantage over the previous methods.

631 citations

Journal ArticleDOI
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.
Abstract: Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets 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. The paper begins with an overview of applications of Petri nets, mostly industrial ones. Then, it proceeds with a description of Petri nets, properties, and analysis methods. The discussion of properties is put in the context of industrial applications. The analysis methods are illustrated using an example of a simple robotic assembly system. The performance analysis, using Petri nets, is discussed for deterministic and stochastic Petri nets. The presented techniques are illustrated by examples representing simple production systems. In addition, the paper introduces high-level Petri nets, fuzzy Petri nets, and temporal Petri nets. This is done in the context of application prospects. The paper also briefly discusses some of the reasons restricting the use of Petri nets, mostly, to academic institutions. >

615 citations

Book
31 Dec 1992
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.
Abstract: List of Figures List of Tables 1 Introduction 2 Petri Nets and Manufacturing Systems 3 Parallel Mutual Exclusions 4 Sequential Mutual Exclusion 5 Hybrid Synthesis of Petri Nets 6 Illustration of Hybrid Synthesis 7 Discrete Event Control of FMS 8 Augmentation of Petri Nets 9 Petri Nets: Past, Present and Future Appendix A Bibliography Index

584 citations

Book
01 Nov 1989
TL;DR: An extended timed Petri net model is used to model clearly the synchronization involved in these systems, and it is found that the computational complexity involved increases in the same order as they are listed above.
Abstract: Some analysis techniques for real-time asynchronous concurrent systems are presented. In order to model clearly the synchronization involved in these systems, an extended timed Petri net model is used. The system to be studied is first modeled by a Petri net. Based on the Petri net model, a system is classified into either: 1) a consistent system; or 2) an inconsistent system. Most real-world systems fall into the first class which is further subclassified into i) decision-free systems; ii) safe persistent systems; and iii) general systems. Procedures for predicting and verifying the system performance of all three types are presented. It is found that the computational complexity involved increases in the same order as they are listed above.

553 citations


Network Information
Related Topics (5)
Software development
73.8K papers, 1.4M citations
82% related
Scheduling (computing)
78.6K papers, 1.3M citations
82% related
Control theory
299.6K papers, 3.1M citations
82% related
Control system
129K papers, 1.5M citations
81% related
Server
79.5K papers, 1.4M citations
81% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202318
202249
20216
20207
201916
201821