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 published on a yearly basis
Papers
More filters
••
TL;DR: This study devises an alternative; namely, a trapezoidal graph method in order to account for failure scenarios, and demonstrates that for failure analysis Petri nets are more efficient than fault trees.
122 citations
••
01 Mar 1993TL;DR: The modeling and analysis of a flexible manufacturing system (FMS) cell using Petri nets is presented and theAnalysis of a timed Petri net for cycle time is presented.
Abstract: The modeling and analysis of a flexible manufacturing system (FMS) cell using Petri nets is presented. In order to illustrate how a Petri net with desirable properties can be constructed, the detailed synthesis process for this cell is described. During the process, top-down refinement, system decomposition, and modular composition ideas are used to achieve the hierarchy and preservation of important system properties. These properties include liveness, boundedness/safeness, and reversibility that guarantee the system to operate in a stable, deadlock-free, and cyclic manner. Furthermore, the analysis of a timed Petri net for cycle time is presented. The timed Petri net is first converted into an equivalent timed marked graph by a reduction technique. Then the standard procedure to find the cycle time for marked graphs is applied. >
122 citations
••
01 Jun 1991TL;DR: Results on refinements of places and transitions in Petri nets are surveyed and the semantics of a net is a description of the possible runs incorporating information on choices to a varying degree.
Abstract: Results on refinements of places and transitions in Petri nets are surveyed. Such refinements may either transform a net to a refined net with the same behaviour, where behaviour often means safeness or liveness. Or they may transform semantically equivalent nets to refined nets which are semantically equivalent again. Here the semantics of a net is a description of the possible runs incorporating information on choices to a varying degree.
122 citations
••
TL;DR: This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics.
Abstract: A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.
122 citations
••
TL;DR: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications.
120 citations