Process architecture

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

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Abstract: In this paper, we apply discrete-event system techniques to model and analyze the execution of concurrent software. The problem of interest is deadlock avoidance in shared-memory multithreaded programs. We employ Petri nets to systematically model multithreaded programs with lock acquisition and release operations. We define a new class of Petri nets, called Gadara nets, that arises from this modeling process. We investigate a set of important properties of Gadara nets, such as liveness, reversibility, and linear separability. We propose efficient algorithms for the verification of liveness of Gadara nets, and report experimental results on their performance. We also present modeling examples of real-world programs. The results in this paper lay the foundations for the development of effective control synthesis algorithms for Gadara nets.

Genet: a Tool for the Synthesis and Mining of Petri Nets (Tool paper)

Abstract: State-based representations of concurrent systems suffer from the well known state explosion problem. In contrast, Petri nets are good models for this type of systems both in terms of complexity of the analysis and in visualization of the model. In this paper we present Genet, a tool that allows the derivation of a general Petri net from a statebased representation of a system. The tool supports two modes of operation: synthesis and mining. Applications of these two modes range from synthesis of digital systems to Business Intelligence.

Optimal Scheduling of Complex Multi-Cluster Tools Based on Timed Resource-Oriented Petri Nets

Abstract: Complex multi-cluster tools have been extensively used in semiconductor manufacturing. It is crucial to increase their productivity by their effective operation. With structural complexity, multiple robots, and the interaction among individual tools, it is very challenging to schedule a tree-like multi-cluster tool. This paper investigates the scheduling problem of such a tool whose bottleneck individual tool is process-bound. The system is modeled by well-known discrete-event models, i.e., resource-oriented Petri nets. Based on the models, for the first time, this work develops necessary and sufficient conditions under which a one-unit (wafer) periodic schedule exists and shows that an optimal one-unit periodic schedule can always be found. Algorithms with polynomial complexity are presented to find the optimal cycle time and the one-unit periodic schedule. Industrial examples are used to illustrate the proposed method, and they show that a significant reduction in cycle time can be obtained in comparison with the existing method.

P systems and Petri nets

Abstract: We propose an intriguing relationship between P systems and Petri nets. For a basic model of P systems, this paper presents a new formalization based on place/transition nets, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize incidence matrix to analyze the computation of one macro-step. We also define the behavioral properties in P systems such as terminating, liveness, and boundedness based on this formalization. For a general class of P systems, we briefly describe a high-level framework called membrane Petri nets (MP-nets). MP-nets extend ordinary colored Petri nets (CPN) through introducing the dynamic features such as dissolve, divide, and move inspired by P systems. Therefore, MP-nets can be a graphical as well as an algebraic modelling tool for both generic P systems and dynamic CPN.