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
07 Mar 2013
TL;DR: The proposed method utilizes an optimal monitor-based supervisor to enforce a GMEC containing infinite elements, which has not been seen in any prior research, and has higher computational efficiency at the expense of application scope than some existing methods.
Abstract: For a class of Petri nets whose uncontrollable influence subnets are forward synchronization and backward conflict-free nets, this paper proposes an algorithm to transform a given generalized mutual exclusion constraint (GMEC) into an optimal admissible one. Based on the proposed constraint transformation, a method is given to synthesize an optimal monitor-based supervisors. The proposed method utilizes an optimal monitor-based supervisor to enforce a GMEC containing infinite elements, which has not been seen in any prior research. Moreover, it has higher computational efficiency at the expense of application scope than some existing methods. An example is used to illustrate the application of the proposed method.

43 citations

Book ChapterDOI
25 Jun 2001
TL;DR: A state space method for Petri nets having a time concept based on a global clock and associating time stamps to tokens is presented and makes it possible to condense the usually infinite state space of such timed Petrinets into a finite state space without loosing analysis power.
Abstract: We present a state space method for Petri nets having a time concept based on a global clock and associating time stamps to tokens. The method is based on equivalence on states and makes it possible to condense the usually infinite state space of such timed Petri nets into a finite state space without loosing analysis power. The practical application of the method is demonstrated on a large example of an audio/video protocol by means of a computer tool implementing the method.

43 citations

Book ChapterDOI
26 Aug 2013
TL;DR: The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes.
Abstract: Petri nets efficiently model both data- and control-flow. Control-flow is either modeled explicitly as flow of a specific kind of data, or implicit based on the data-flow. Explicit modeling of control-flow is useful for well-known and highly structured processes, but may make modeling of abstract features of models, or processes which are highly dynamic, overly complex. Declarative modeling, such as is supported by Declare and DCR graphs, focus on control-flow, but does not specify it explicitly; instead specifications come in the form of constraints on the order or appearance of tasks. In this paper we propose a combination of the two, using colored Petri nets instead of plain Petri nets to provide full data support. The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes. In addition to enriching both procedural processes in the form of Petri nets and declarative processes, we also support a flow from modeling only abstract data- and control-flow of a model towards a more explicit control-flow model if so desired. We define our combined approach, and provide considerations necessary for enactment. Our approach has been implemented in CPN Tools 4.

43 citations

Book ChapterDOI
07 Sep 1992
TL;DR: An evaluation of the software process modeling language FUNSOFT nets and of the related software process management environment MELMAC after two years of using both is presented and which features turned out to be useful and which others seem to be of limited interest are described.
Abstract: This paper presents an evaluation of the software process modeling language FUNSOFT nets and of the related software process management environment MELMAC after two years of using both. FUNSOFT nets are based on Petri nets. In the recent years FUNSOFT nets have been used for modeling several academic software processes, like the Core Problem and its extensions and the process model of the Kernel/2 subproject of ESF, a few industrial software processes, and some other interpersonal processes. In this paper we describe which features of FUNSOFT nets and MELMAC turned out to be useful, which others seem to be of limited interest and which improvement suggestions for FUNSOFT nets and for MELMAC emerged. We suppose that the experience with using FUNSOFT nets and MELMAC apply to other software process management approaches in a similar way.

43 citations

Journal ArticleDOI
TL;DR: A novel algorithm for simulation of discrete-event systems based on timed Petri nets is described in this study, which appears to have merit for particular applications in chemical process control.

43 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