This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with Petri Nets. Frequently, a real algorithm needs a large Petri Net to be represented. We present a way to model an algorithm with Colored Petri Nets that simplify the model. After that, this high level model is transformed into a low level but executable model, preserving its semantics. The execution also needs other components of the framework, as the involved processors, data used and executable kernels. The combination of these elements is described in order to obtain a parallel execution. Some tests are also presented as a testbed of the framework in symmetric multiprocessors. Usability, as well as good performance, confirm the quality of th...
Parallel and distributed systems play an important role in the development of information technolo...
Abstra t. We propose to use high-level Petri nets as a model for the semanti s of high-level paralle...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with P...
The development of parallel programs following the paradigm of communicating sequen- tial pr...
Multicore - MultiGPU systems are frequently used in supercomputers design. The heterogeneity between...
Coloured Petri nets have proved to be a useful formalism for modeling distributed algorithms, i.e., ...
Abstract. Coloured Petri nets have proved to be a useful formalism for modeling distributed algorith...
The objective of this paper is to determine the feasibility and produceability of a Petri net based ...
International audienceWe propose to use high-level Petri nets as a model for the semantics of high-l...
International audienceWe propose to use high-level Petri nets for the semantics of high-level parall...
Generalized stochastic Petri nets (GSPN) are proposed in this paper as a way to represent and analyz...
Verification of parallel programs is a very important goal on the way to improve the reliability of ...
Timed Petri-nets are used to model numerous types of large complex systems, especially computer arch...
International audienceFast simulation, i.e., automatic computation of sequential runs, is widely use...
Parallel and distributed systems play an important role in the development of information technolo...
Abstra t. We propose to use high-level Petri nets as a model for the semanti s of high-level paralle...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with P...
The development of parallel programs following the paradigm of communicating sequen- tial pr...
Multicore - MultiGPU systems are frequently used in supercomputers design. The heterogeneity between...
Coloured Petri nets have proved to be a useful formalism for modeling distributed algorithms, i.e., ...
Abstract. Coloured Petri nets have proved to be a useful formalism for modeling distributed algorith...
The objective of this paper is to determine the feasibility and produceability of a Petri net based ...
International audienceWe propose to use high-level Petri nets as a model for the semantics of high-l...
International audienceWe propose to use high-level Petri nets for the semantics of high-level parall...
Generalized stochastic Petri nets (GSPN) are proposed in this paper as a way to represent and analyz...
Verification of parallel programs is a very important goal on the way to improve the reliability of ...
Timed Petri-nets are used to model numerous types of large complex systems, especially computer arch...
International audienceFast simulation, i.e., automatic computation of sequential runs, is widely use...
Parallel and distributed systems play an important role in the development of information technolo...
Abstra t. We propose to use high-level Petri nets as a model for the semanti s of high-level paralle...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...