A new Transformation for Generalized Petri Net. The Generalized abstraction

Christophe Haro; Patrick Martineau; Christian Proust

RAIRO - Operations Research (2010)

  • Volume: 38, Issue: 1, page 39-62
  • ISSN: 0399-0559

Abstract

top
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.

How to cite

top

Haro, Christophe, Martineau, Patrick, and Proust, Christian. "Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée." RAIRO - Operations Research 38.1 (2010): 39-62. <http://eudml.org/doc/105301>.

@article{Haro2010,
abstract = { 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. },
author = {Haro, Christophe, Martineau, Patrick, Proust, Christian},
journal = {RAIRO - Operations Research},
keywords = {Réseaux de Petri; transformation; réduction; simplification.},
language = {fre},
month = {3},
number = {1},
pages = {39-62},
publisher = {EDP Sciences},
title = {Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée},
url = {http://eudml.org/doc/105301},
volume = {38},
year = {2010},
}

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
DA - 2010/3//
PB - EDP Sciences
VL - 38
IS - 1
SP - 39
EP - 62
AB - 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.
LA - fre
KW - Réseaux de Petri; transformation; réduction; simplification.
UR - http://eudml.org/doc/105301
ER -

References

top
  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. TSI4 (1985) 91-101.  
  3. G.W. Brams, Réseaux de petri: Tome 1 – Théorie et analyse. Masson, Paris (1983).  
  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).  
  6. I. Koh and F. Dicesare, Modular Transformation Methods For Generalized Petri Nets and Their Application to Automated Manufacturing Systems. IEEE Trans. Systems, MAN Cybernetics21 (1991) 1512-1522.  
  7. H. Lee-kwang and J. Favrel, Hierarchical Reduction Method For Analysis and Decomposition of Petri Nets. IEEE Trans. Systems, MAN Cybernetics15 (1985) 272-280.  
  8. H. Lee-kwang, J. Favrel and P. Baptiste, Generalized Petri Net Reduction Method. IEEE Trans. Systems, MAN Cybernetics17 (1987) 297-303.  
  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.  
  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 Cybernetics23 (1993) 523–531.  

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.