Process architecture

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

Petri nets for simulation and modeling of construction systems

Abstract: For the past 20 years, investigators have studied the simulation and modeling of construction systems. The authors of this paper introduce Petri nets--a powerful modeling tool used previously for modeling computer networks and automated manufacturing systems--that can successfully model construction systems. This paper describes the Petri net technique for modeling and illustrates how models of construction systems can be devised. Several common Petri net structures are described, along with features that are useful in construction system modeling. Time and color Petri nets and their application in modeling specific characteristics of construction systems are discussed. Two examples are provided that illustrate the advantages and disadvantages of Petri nets as tools for the modeling and simulation of construction operations.

On Petri net implementation of proactive resilient holistic supply chain networks

Abstract: Holistic supply chain network (H-SCN) systems are a set of supply chains that have inter-dependence relations. Design and management of H-SCN systems are largely ignored in the literature. Modeling of H-SCN systems will provide a computational facility for design and management of H-SCN systems. A model for disruption of the H-SCN system was proposed by us before, which consists of two parts: a model for disruption of a single firm and a model for propagation of disruption. The present paper mainly discusses how these models can be implemented especially with Petri nets. Guidelines with templates of how the Petri net models for H-SCN systems can be constructed in industrial setting are also given to facilitate the use of our model. Since H-SCN systems are complex network systems, this paper may also contribute to the field of the Petri net technique for network systems modeling in the aspect of reduction of complexity arising from vast amounts of construct instances—a common problem that existed in a Petri net model. Indeed, the proposed Petri net model is suitable for any type of supply chains or supply chain networks.

Time Petri Nets for Modelling and Analysis of Biochemical Networks

Abstract: Biochemical networks are modelled at different abstraction levels. Basically, qualitative and quantitative models can be distinguished, which are typically treated as separate ones. In this paper, we bridge the gap between qualitative and quantitative models and apply time Petri nets for modelling and analysis of molecular biological systems. We demonstrate how to develop quantitative models of biochemical networks in a systematic manner, starting from the underlying qualitative ones. For this purpose we exploit the well-established structural Petri net analysis technique of transition invariants, which may be interpreted as a characterisation of the system?s steady state behaviour. For the analysis of the derived quantitative model, given as time Petri net, we present structural techniques to decide the time-dependent realisability of a transition sequence and to calculate its shortest and longest time length. All steps of the demonstrated approach consider systems of integer linear inequalities. The crucial point is the total avoidance of any state space construction. Therefore, the presented technology may be applied also to infinite systems, i.e. unbounded Petri nets.

The Petri Net Kernel An infrastructure for building Petri net tools

Abstract: The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard operations on Petri nets and a graphical user interface. In this paper, we discuss the motivation, the concepts, and the implementation of the Petri Net Kernel.