Résolution paramétrée de familles de systèmes linéaires

J. M. Couvreur; S. Haddad; J. F. Peyre

RAIRO - Operations Research - Recherche Opérationnelle (1992)

  • Volume: 26, Issue: 2, page 183-206
  • ISSN: 0399-0559

How to cite

top

Couvreur, J. M., Haddad, S., and Peyre, J. F.. "Résolution paramétrée de familles de systèmes linéaires." RAIRO - Operations Research - Recherche Opérationnelle 26.2 (1992): 183-206. <http://eudml.org/doc/105037>.

@article{Couvreur1992,
author = {Couvreur, J. M., Haddad, S., Peyre, J. F.},
journal = {RAIRO - Operations Research - Recherche Opérationnelle},
keywords = {parametrized computation; formal validation; Petri Nets; invariants; Farkas' algorithm; linear equations systems},
language = {fre},
number = {2},
pages = {183-206},
publisher = {EDP-Sciences},
title = {Résolution paramétrée de familles de systèmes linéaires},
url = {http://eudml.org/doc/105037},
volume = {26},
year = {1992},
}

TY - JOUR
AU - Couvreur, J. M.
AU - Haddad, S.
AU - Peyre, J. F.
TI - Résolution paramétrée de familles de systèmes linéaires
JO - RAIRO - Operations Research - Recherche Opérationnelle
PY - 1992
PB - EDP-Sciences
VL - 26
IS - 2
SP - 183
EP - 206
LA - fre
KW - parametrized computation; formal validation; Petri Nets; invariants; Farkas' algorithm; linear equations systems
UR - http://eudml.org/doc/105037
ER -

References

top
  1. [Aba 64] J. ABADIE, Méthode de Fourier et méthode duale pour les systèmes d'inéquations linéaires, Communication invitée au « Mathematical Programming Symposium », Londres 64, Note E.D.F.N.HR 5.759/3, 5 juin 1964. 
  2. [Bra 83] G. W. BRAMS, Réseaux de Petri. Théorie et pratique, Masson, Paris, 1983. Zbl0501.68027
  3. [CHP 90] J. M. COUVREUR, S. HADDAD et J. F. PEYRE, Résolution paramétrée d'une famille de systèmes d'équations linéaires à solutions positives, Rapport IBP 90.38, Université Pierre-et-Marie-Curie, Paris, septembre 1990. 
  4. [Chv 83] V. CHVATAL, Linear Programming, W. H. Freeman and Company, New York, 1983. Zbl0537.90067MR717219
  5. [Col 89] J. M. COLOM et M. SILVA, Improving the Linearly Based Characterization of P/T Nets, Proceding of the 10th International Conference on Application and Theory of Petri Nets. Bad Honnef Godesberg, juin 1989. 
  6. [Cou 90] J. M. COUVREUR, The General Computation of Flows for Coloured Nets, Proceding of the 11th International Conference on Application and Theory of Petri Nets, Paris, juin 1990, p. 204-223. 
  7. [Far 02] J. FARKAS, Theorie der einfachen Ungleichungen, In: Journal für die reine und andgewandte Mathematik, 1902, 124, p. 1-27. JFM32.0169.02
  8. [Fou 27] J. FOURIER, Histoire de l'Académie Royale des Sciences, Analyse des travaux pendant l'année 1824, Partie Mathématique, Paris, 1827, p. xlvij-lv. 
  9. [Fou 90] J. FOURIER, Oeuvres, 1890, II, p. 317-328, Paris. Zbl1293.46011
  10. [Gen 81] H. J. GENRICH et K. LAUTENBACH, System Modelling with High-Level Petri Nets, Theoret. Comput. Sci., 1981,13, p. 103-136. Zbl0454.68052MR593866
  11. [Had 86] S. HADDAD et C. GIRAULT, Algebraic structure of flows of a regular net, Oxford England, juin 1986, Advances in Petri nets, G. ROZENBERG ed., L.N.C.S., n° 266, G. ROZENBERG éd., Springer-Verlag, 1987, p. 73-88. Zbl0636.68075MR911940
  12. [Had 87] S. HADDAD, Une catégorie régulière de réseau de Petri de haut niveau : définition, propriétés et réductions. Application à la validation de systèmes distribués, Thèse, Université Pierre-et-Marie-Curie, Paris, juin 1987. 
  13. [Mem 83] G. MEMMI, Méthodes d'analyse de réseaux de Petri, réseaux à files et applications aux systèmes temps réel, Thèse d'État, Université Pierre-et-Marie-Curie, Paris, juin, 1983. 
  14. [Jen 86] K. JENSEN, Coloured Petri nets. Petri nets: Central models and their properties. Advances in Petri nets, G. ROZENBERG éd., L.N.C.S., n° 254, Springer-Verlag Part. I. Bad Honnef, september 1986, p. 248-299. Zbl0632.68058MR902660
  15. [Sil 85] M. SILVA, J. MARTINEZ, P. LADET et H. ALLA, Generalized inverses and the calculation of symbolic invariants for coloured Petri nets, Techn. Sci. Inform., 1985, 4, 1, p. 113-126. Zbl0558.68054
  16. [Vau 84] J. VAUTHERIN et G. MEMMI, Computation of flows for unary predicates transitions nets, Advances in Petri nets, G. ROZENBERG éd., L.N.C.S., n° 188, Springer-Verlag, 1984, p. 455-467. Zbl0617.68056MR807213

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.