Process architecture

About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets

Abstract: A self-adaptive software system is one that can autonomously modify its behavior at runtime in response to changes in the system and its environment. It is a challenge to model such a kind of systems since it is hard to predict runtime environmental changes at the design phase. In this paper, a formal model called intelligent Petri net (I-PN) is proposed to model a self-adaptive software system. I-PN is formed by incorporating fuzzy rules to a regular Petri net. The proposed net has the following advantages. 1) Since fuzzy rules can express the behavior of a system in an interpretable way and their variables can be reconfigured by the runtime data, the proposed model can model runtime environment and system behavior. 2) Since a fuzzy inference system with well-defined semantics can be used in a complementary way with other model languages for the analysis, thus the proposed model can be analyzed, even though it is described in two different languages: component behaviors in Petri nets while logic control in fuzzy rules. 3) The proposed model has self-adaption ability and can make adaptive decisions at runtime with the help of fuzzy inference reasoning. We adopt a manufacturing system to show the feasibility of the proposed model.

Essentially decision free Petri nets for real-time resource allocation

Abstract: Qualitative properties of Petri nets (such as liveness and safeness) are useful in discrete manufacturing applications since they correspond to consistent, deadlock-free control logic. In this paper we introduce the qualitative property of essentially decision free (EDF) places in Petri nets (PNs) to represent the absence of unresolved (nonunique) resource allocation conditions. We show that a previously developed method for PN synthesis of on-line control logic may lead to ambiguous resource allocation conditions which are exhibited in the PN model us non-EDF places. Using the theory of place-invariants, we develop a procedure for identifying non-EDF places in the synthesized logic. The procedure is illustrated for an example of assigning robots to tasks in a flexible assembly cell. For this example, allocation ambiguities are systematically resolved by introducing logical NOT conditions in the PN model.

Advances in Petri Nets, 1989

Abstract: Stochastic Petri nets: An elementary introduction.- Improving the efficiency of the analysis of DSPN models.- Synchronized elementary net systems.- Descriptive and analytical process algebras.- P/T-systems as abstractions of C/E-systems.- The semantics of capacities in P/T nets.- Petri net tool overview 1989.- Equivalence transformations of PrT-Nets.- A reduction theory for coloured nets.- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets.- S-CORT(R): A method for the development of electronic payment systems.- Timed Petri nets and application to multi-stage production systems.- Petri net systems and their closure properties.- Occam and the transputer.- About the concurrent behaviour of EN systems: Definability and closure results.- Petri nets and flexible manufacturing.- Some properties of timed nets under the earliest firing rule.- A comparative study of different techniques for semi-flows computation in place/transition nets.- Elementary net systems and dynamic logic.- Representation of a swapping class by one net.- Design methods based on nets.- CEDISYS compositional distributed systems state of the art, research goals, references.