The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Résolution paramétrée de familles de systèmes linéaires
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 -
- [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.
- [Bra 83] G. W. BRAMS, Réseaux de Petri. Théorie et pratique, Masson, Paris, 1983. Zbl0501.68027
- [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.
- [Chv 83] V. CHVATAL, Linear Programming, W. H. Freeman and Company, New York, 1983. Zbl0537.90067MR717219
- [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.
- [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.
-
[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
- [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.
- [Fou 90] J. FOURIER, Oeuvres, 1890, II, p. 317-328, Paris. Zbl1293.46011
- [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
- [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
- [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.
- [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.
- [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
- [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
- [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
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.