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
Proceedings ArticleDOI
19 Sep 2005
TL;DR: The project proposes a methodology where the use-cases are used as a starting point, not only for capturing requirements but also to support sub-model compositions, and includes the definition of a generic mechanism for Petri nets composition.
Abstract: This paper presents the planned and on-going activities inside the FORDESIGN research project, funded by the Portuguese FCT (Foundation for Science and Technology), whose main objective is to foster the effective use of formal methods for embedded systems co-design. The project proposes a methodology where the use-cases are used as a starting point, not only for capturing requirements but also to support sub-model compositions. The methodology will support several different graphical formalisms, namely state diagrams, hierarchical and concurrent state diagrams, state-charts, sequence diagrams, and Petri nets. The latter are also used as the interchange format between the other used graphical formalisms. Hence, translations to Petri nets play a fundamental role. These Petri nets are then implemented using hardware-software co-design techniques, which will include reconfigurable devices, as well as microcontroller architectures, as supporting platforms. The project also includes the definition of a generic mechanism for Petri nets composition. This will offer support for composition, hierarchical structuring, and model modification

25 citations

Proceedings ArticleDOI
11 Dec 1989
TL;DR: A lumping method that is based on a particular class of colored Petri nets is presented and the authors show on an example that the method can be usefully applied to the performance evaluation of symmetric systems.
Abstract: A lumping method that is based on a particular class of colored Petri nets is presented. The originality of the method is that the states are aggregated a priori, thus avoiding the construction of the whole reachability graph. The authors construct only a graph of symbolic markings whose states are classes of markings and from which the solution can be directly computed. They show on an example that the method can be usefully applied to the performance evaluation of symmetric systems. >

25 citations

Book ChapterDOI
08 Sep 1986
TL;DR: In this paper, Petri net based models have been developped and used to specify and analyse the set of interactions which occur in distributed systems: it explains the use of these models in order to design, specify and validate the hierarchy of protocols and services which is to be dealt with when developping complex distributed systems.
Abstract: Many approaches exist for the formal description of communication and cooperation protocols, as for instance Petri nets and their extensions, abstract data types, temporal logic, process algebras and high level languages. This paper presents how Petri net based models have been developped and used to specify and analyse the set of interactions which occur in distributed systems: it explains the use of these models in order to design, specify and validate the hierarchy of protocols and services which is to be dealt with when developping complex distributed systems. As layering proves to be of prime importance, the main specificities of the design of a complex distributed system are first related to a layered architectural model such as the OSI ISO/CCITT reference model. Then, after presenting some important Petri net based models, it is shown how net approaches can be used to model and handle the interactions and the protocols which exist in such layered distributed systems. Some important tools are also reported.

25 citations

Proceedings ArticleDOI
01 Aug 1994
TL;DR: A first report on the PARTS toolset is presented, based upon a timed extension of Petri nets, for the automated static analysis of real-time systems.
Abstract: We present a first report on our PARTS toolset for the automated static analysis of real-time systems. The PARTS toolset is based upon a timed extension of Petri nets.Our simple time Petri nets or STP nets are specifically aimed at facilitating real-time analysis. Our analysis approach uses the state space of an STP net in order to answer queries about the concurrency and timing behavior of the corresponding system. An attractive feature of STP nets is that they support a variety of techniques for controlling the number of states that must be explicitly enumerated. These techniques were originally defined for the analysis of concurrency properties of untimed systems, and in this paper we discuss the extension of each to the timed domain.We also report on some preliminary experimental results that we obtained by running our toolset on examples of real-time systems.

25 citations

Proceedings ArticleDOI
03 Mar 2008
TL;DR: The toolkit SNAKES is aimed at providing a flexible solution to the problem of quickly prototyping Petri nets tools and is designed as a very general Petri net core library enriched with a set of extension modules to provide specialised features.
Abstract: This paper presents the toolkit SNAKES that is aimed at providing a flexible solution to the problem of quickly prototyping Petri nets tools In particular, SNAKES is expected to have as few built-in limitations as possible with respect to the particular variant of Petri net to be used The goal is to make SNAKES suitable for any kind of Petri net model, including new ones for which there exists no available tool For this purpose, SNAKES is designed as a very general Petri net core library enriched with a set of extension modules to provide specialised features On the one hand, the core library is versatile in that it defines a general Petri net structure where all the computational aspects are delegated to an interpreted programming language On the other hand, the extension modules provide with enough flexibility to allow to redefine easily any part of the base Petri net model SNAKES is released under the GNU LGPL, it can be downloaded at 〈http://wwwuniv-paris12fr/lacl/pommereau/soft/snakes〉 with the API documentation and a tutorial

25 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