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.

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
Mots-clés : 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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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. http://www.numdam.org/articles/10.1051/ro:2004013/

[1] G. Berthelot, Transformations et analyse de réseaux de petri. Applications aux protocoles. Thèse de doctorat d'état és sciences, Université Pierre et Marie Curie, Paris VI (1983).

[2] G. Berthelot, Transformations de Réseaux de Petri. TSI 4 (1985) 91-101. | Zbl

[3] G.W. Brams, Réseaux de petri: Tome 1 - Théorie et analyse. Masson, Paris (1983). | Zbl

[4] E. Daniel, P. Kuntz and B. El hajjaji, Détermination des cellules (place, transition) à abstraire dans un RdP généralisé et génération des matrices d'incidence du réseau résultant. Rapport de projet de fin d'études sous la direction de C. Haro, E3I-Université de Tours (1999).

[5] J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge Tracts Theoret. Comput. Sci. 40 (1995). | MR | Zbl

[6] I. Koh and F. Dicesare, Modular Transformation Methods For Generalized Petri Nets and Their Application to Automated Manufacturing Systems. IEEE Trans. Systems, MAN Cybernetics 21 (1991) 1512-1522. | Zbl

[7] H. Lee-Kwang and J. Favrel, Hierarchical Reduction Method For Analysis and Decomposition of Petri Nets. IEEE Trans. Systems, MAN Cybernetics 15 (1985) 272-280. | Zbl

[8] H. Lee-Kwang, J. Favrel and P. Baptiste, Generalized Petri Net Reduction Method. IEEE Trans. Systems, MAN Cybernetics 17 (1987) 297-303. | Zbl

[9] J.Y. Morel, Contribution à la modélisation et à l'analyse des systèmes à événements discrets par réseaux de Petri généralisés et colorés. Thèse de troisième cycle, ISTIA - Université d'Angers, Angers (1996).

[10] Y. Narahari and N. Viswanadham, A Petri Net Approach to The Modelling and Analysis of Flexible Manufacturing Systems. Ann. Oper. Res. 3 (1985) 449-472.

[11] I. Suzuki and T. Murata, Stepwise Refinements of Transitions and Places, in IFB 52, edited by C. Girault and W. Reisig. (1982) 136-141.

[12] R. Valette, Analysis of Petri Nets by Stepwise Refinements. J. Comput. Syst. Sci. 18 (1979) 35-46. | MR | Zbl

[13] M. Zhou, F. Dicesare, A.A. Desrochers, A Top-Down Approach to Systematic Synthesis of Petri Net Models for Manufacturing Systems, in Conf. Robotics and Automation, Scottsdale - Arizona, May (1996).

[14] M. Zhou, K. Mcdermott and P.A. Patel, Petri Net Synthesis and Analysis of A Flexible Manufacturing System Cell. IEEE Trans. Systems, MAN Cybernetics 23 (1993) 523-531. | Zbl

Cité par Sources :