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
TL;DR: Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered and Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.
Abstract: Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.

20 citations

Proceedings ArticleDOI
03 Jul 2014
TL;DR: The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, augmented with the descriptions for inputs and outputs, as well as for time domains and communication channels and has an equivalent Ecore meta- model that positioning IOPT nets within the Eclipse Modeling framework.
Abstract: Petri nets have been widely used in the design of embedded controllers, namely in electronic hardware and computing platforms design, as well as within automation application areas This paper presents updated characteristics of one class of Petri nets, named Input-Output Place-Transition Petri nets (IOPT nets), extended to support networked embedded controllers design and globally-asynchronous locally-synchronous (GALS) systems modeling, together with its associated metamodel and execution semantics The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, augmented with the descriptions for inputs and outputs, as well as for time domains and communication channels The meta-model is described using UML class diagrams and has an equivalent Ecore meta-model that positioning IOPT nets within the Eclipse Modeling Framework (EMF)

20 citations

Journal ArticleDOI
TL;DR: In this article, a methodology for modeling and analyzing fault-tolerant manufacturing systems that not only optimizes normal productive processes, but also performs detection and treatment of faults is presented.
Abstract: This paper introduces a methodology for modeling and analyzing fault-tolerant manufacturing systems that not only optimizes normal productive processes, but also performs detection and treatment of faults. This approach is based on the hierarchical and modular integration of Petri Nets. The modularity provides the integration of three types of processes: those representing the productive process, fault detection, and fault treatment. The hierarchical aspect of the approach permits us to consider processes on different levels of detail (i.e. factory, manufacturing cell, or machine). Case studies considering detection and treatment of faults are presented, and a simulation tool is applied for verifying the models.

20 citations

Journal ArticleDOI
Dmitry A. Zaitsev1
01 May 2016
TL;DR: It is shown that Sleptsov place-transition nets (that allow transition firing in multiple instances at a step) run fast by implementing multiplication and division operations in polynomial time, and Petri nets (PNs) implement the mentioned operations in exponential time.
Abstract: We show that Sleptsov place–transition nets (that allow transition firing in multiple instances at a step) run fast by implementing multiplication and division operations in polynomial time. In comparison, Petri nets (PNs) implement the mentioned operations in exponential time. Moreover, PNs are obtained as a special case of Sleptsov nets (SNs) using loops with places having unit marking attached to each transition. In addition, we develop basics of an SN programming technology including basic operations and program composition rules. We provide examples of programs written in SN language for encryption/decryption with the RSA algorithm, calculation of fuzzy logic functions, and parallel calculation of the solutions to Laplace equations. SN computers promise hyper-performance because of a concurrent programming style consisting of a concise graphical language and small granulation of parallel processes on the level of separate events.

20 citations

Proceedings ArticleDOI
06 Oct 2002
TL;DR: This paper proposes a modular and unified modeling framework for heterogeneous automated storage and retrieval systems, comprising rail guided vehicles and narrow aisle cranes, and employs colored timed Petri nets, representing a concise and computationally efficient tool for modeling the system dynamic behavior.
Abstract: An automated storage and retrieval system (AS/RS) automatically stores incoming material and retrieves stored parts with no direct human handling. This paper proposes a modular and unified modeling framework for heterogeneous automated storage and retrieval systems, comprising rail guided vehicles and narrow aisle cranes. We employ colored timed Petri nets, representing a concise and computationally efficient tool for modeling the system dynamic behavior, particularly suitable for real time control implementation. Indeed, the model can be utilized in a discrete event simulation to apply control policies in order to solve scheduling problems, as well as to avoid deadlock and collision occurrences.

20 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