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: The paper shows how entity-relationship diagrams and high-level Petri nets can system-atically be synthesized into rigorous, yet graphic system models which meet the requirements of conceptual modeling.

23 citations

Journal ArticleDOI
TL;DR: The purpose of the present paper is to present a central example of such a relationship (a coreflection between asynchronous transition systems and Petri nets) and illustrate its use by transferring to nets a general concept of bisimulation.
Abstract: Several categorical relationships (adjunctions) between models for concurrency have been established, allowing the translation of concepts and properties from one model to another. The purpose of the present paper is twofold: firstly to present a central example of such a relationship (a coreflection between asynchronous transition systems and Petri nets), and secondly to illustrate its use by transferring to nets a general concept of bisimulation.

23 citations

Proceedings ArticleDOI
19 May 2008
TL;DR: This work proposes to use hierarchical interpreted binary Petri nets to coordinate the activity of several independent modules that implement primitive actions and report events about their state in mobile robot control frameworks.
Abstract: Most of the mobile robot control frameworks are based on a middleware layer with several independent modules that implement primitive actions and report events about their state. These modules are usually connected with different interprocess communication mechanisms. Here, we propose to use hierarchical interpreted binary Petri nets to coordinate the activity of these modules. Tasks are described using an interpreted Petri net editor and saved in a xml file. A dispatcher loads these files and executes the different Petri nets under user requests. A monitor that shows the state of all the running nets is very useful for debugging and tracing purposes. The whole system has been applied to a guide robot (vixiabot) that has been guiding users in a public event (XuventudeGalicia.net) for three days in April 2007 and is now extended to a multirobot surveillance application.

23 citations

Proceedings ArticleDOI
21 Mar 2011
TL;DR: This paper proposes an extension to Model Based Statistical Testing which deals with the mentioned problems and maintains all mentioned advantages and shows that it is possible to generate executable test cases from the Petri nets.
Abstract: Model Based Statistical Testing is a highly automated test approach. It allows the fully automated test case generation, execution, evaluation and estimation of the test objects reliability. This can be done after building a test model which is called a usage model. These models do neither support a notion of time, nor do they allow to model concurrency, which both are of great concern in testing embedded systems. This paper proposes an extension to Model Based Statistical Testing which deals with the mentioned problems and maintains all mentioned advantages of Model Based Statistical Testing. This is done by using an advanced kind of Petri nets as test model. A usage model can be generated out of these Petri nets. The direct creation of a usage model without the use of the proposed Petri nets is not possible in practice if it is necessary to deal with time and concurrency. This is the case because usage models tend to get very large in this very common situation. The paper does also show that it is possible to generate executable test cases (including oracle information) from the Petri nets. Tool support for the presented approach is available.

23 citations

Proceedings ArticleDOI
28 Jun 1976
TL;DR: An APL simulation is developped in the case of parallel systems which communicate with the environment using interpreted PETRI nets, which helps the design verification.
Abstract: An APL simulation is developped in the case of parallel systems which communicate with the environment. This method using interpreted PETRI nets, helps the design verification.

23 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