Geodesic
Une nouvelle transformation des réseaux de Petri généralisés : l'abstraction généralisée
RAIRO - Operations Research - Recherche Opérationnelle, Tome 38 (2004) no. 1, pp. 39-62

Voir la notice de l'article provenant de la source Numdam

Cet article introduit une nouvelle transformation des réseaux de Petri généralisés appelée l'abstraction généralisée. C'est une réduction dont nous montrons qu'elle conserve les invariants du réseau de départ et les propriétés structurelles les plus importantes. Une fonction de transformation de marquages nous permet d'introduire l'étude de la conservation des propriétés comportementales.

This paper introduces a new transformation of generalized Petri nets. This transformation is a reduction rule. We prove that it preserves the invariants and most important structural properties. A function that transforms the markings helps us to give some indications to prove the conservation of the behavioral properties.

DOI : 10.1051/ro:2004013
Keywords: réseaux de Petri, transformation, réduction, simplification 
@article{RO_2004__38_1_39_0,
     author = {Haro, Christophe and Martineau, Patrick and Proust, Christian},
     title = {Une nouvelle transformation des r\'eseaux de {Petri} g\'en\'eralis\'es : l'abstraction g\'en\'eralis\'ee},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {39--62},
     publisher = {EDP-Sciences},
     volume = {38},
     number = {1},
     year = {2004},
     doi = {10.1051/ro:2004013},
     zbl = {1121.93349},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ro:2004013/}
}
TY  - JOUR
AU  - Haro, Christophe
AU  - Martineau, Patrick
AU  - Proust, Christian
TI  - Une nouvelle transformation des réseaux de Petri généralisés : l'abstraction généralisée
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 2004
SP  - 39
EP  - 62
VL  - 38
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ro:2004013/
DO  - 10.1051/ro:2004013
LA  - fr
ID  - RO_2004__38_1_39_0
ER  - 
%0 Journal Article
%A Haro, Christophe
%A Martineau, Patrick
%A Proust, Christian
%T Une nouvelle transformation des réseaux de Petri généralisés : l'abstraction généralisée
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 2004
%P 39-62
%V 38
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ro:2004013/
%R 10.1051/ro:2004013
%G fr
%F RO_2004__38_1_39_0
Haro, Christophe; Martineau, Patrick; Proust, Christian. Une nouvelle transformation des réseaux de Petri généralisés : l'abstraction généralisée. RAIRO - Operations Research - Recherche Opérationnelle, Tome 38 (2004) no. 1, pp. 39-62. doi: 10.1051/ro:2004013

Cité par Sources :