. Pi, Tj sont telles que h(Pi) =D et h(Tj) =C alors pré(Pi, Tj) =post

U. Rdph-marqué-est-un-couple, H. =<r-*, . Mo>-où-r-*-est-un-rdph-non-marqué, and . Mo-est-un, Le marquage initial d'une D-place est un entier naturel alors que celui d'une C-place

C. Une, Transition est validée si chacune des places Pi E ·Tj vérifie: si Pi est une D-place, M(P i ) ~ pré

. P. Bibliographie-[-ben92-]-l, M. P. Benders, and . Stevens, Petri Net modelling in embedded system design" CompEuro 92, Computer systems and software engineering, pp.612-629

. [. Berthelot, Petri Nets Theory for the Correctness of Protocols, IEEE Transactions on Communications, vol.30, issue.12
DOI : 10.1109/TCOM.1982.1095452

. [. Berthelot, C. Best, and . Fernandez, Vérification des Réseaux de Petri Thèse de doctorat de troisième cycle, université P. et M. Curie (PARIS IV), 12 janvNonsequential processes, Trans. on Communications EATCS Monographs on Theoretical Computer Science, vol.12, 1978.

S. , S. W. Brams-[-bra93-]-j, and . Braker, Réseaux de Petri: théorie et pratique Tl et T2 MassonAn extended algorithm for performance evaluation of timed event graph" ECC-93 Groningen. [BRE87] 1. BREMONT, A. GOLlOT, M. LAMOTTE, 1. RAGOT "Identification d'un système de commande séquentiel par les réseaux de Petri, CAR90] 1. CARDOSO "Sur les réseaux de Petri avec marquages flous Thèse de Doctorat de l'université Paul SABATIER, 23 octComputer softwaare and applications conference) Tokyo pp, pp.273-91, 1983.

. [. Chretienne, Controlled execution of timed Petri nets, Technology and Science oflnformatics, vol.3, issue.1, pp.19-26, 1984.

K. [. Comeau and . Thulasiraman, Structure of the submarking-reachability problem and network programming, IEEE Transactions on Circuits and Systems, vol.35, issue.1, pp.89-100, 1988.
DOI : 10.1109/31.1702

M. Darouach, Observabilité et validation de données de systèmes de grande dimension Application à l'équilibrage des bilans de mesures, Thèse d'état, 1986.

R. David and H. Alla, Continuous PNs" 8 th European Workshop on Application and Theory on PNs zaragoza (spain) june, pp.275-294, 1987.

R. David and H. Alla, Du Grafcet aux Réseaux de Petri, HERMES, 1989.

R. David and H. Alla, Properties of continuous models of transfer lines with unreliable machines and finites buffers, IMA Journal of Mathematics Applied Business & Industry, N°, vol.6, pp.281-308, 1990.

. Da-v94-]-r, H. David, and . Alla, Petri Nets modeling of dynarnic systems, a survey

A. Di-febbraro and R. Minciardi, Definition and performance evaluation using timed event graph" ECC-93 Groningen

E. Dubois and H. , ALLA "hybrid Petri Net with stochastic discrete part

J. Dufau, Un outil pour la vérification des protocoles décrits par

R. De, P. Ezpeleta, and J. Martinez, Thèse de docteur-ingénieur, université P. Sabatier (Toulouse), 27 janvPetri nets as a specification language for manufacturing systems, 13th World Congress and IMACS conference on Modelling and Control of Technological Systems, 1984.

L. Bail, R. David, and H. Alla, Hybrid Petri Nets, European Conference, pp.1472-77, 1991.

H. [. Le-bail, R. Alla, and . David, Asymptotic continuous Petri nets, Discrete Event Dynamic Systems, vol.16, issue.3-4
DOI : 10.1007/BF01797160

G. and J. Hartmanis, Proceedings of an advanced course Bad Honnef, dec, 1984.

H. Alaiwan and G. Memmi, Algorithmes de recherche des solutions entières positives d'un système linéaire d'équations homogènes, Revue Technique Thomson CSF, vol.14, issue.1, pp.125-135, 1982.

H. Alaiwan and . Toudic, Recherche de semi-flots, de verrous et de trappes dans les réseaux de Petri, pp.104-112, 1985.

S. Barnett, Matrices in control theory, 1984.

G. Berthelot, Vérification de réseaux de Petri Thèse de Doctorat de 3ième cycle de l'université Pierre et Marie CURIE, 12 janv, 1978.

B. Berthomieu, Analyse structurelle des RdP méthodes et outils Thèse de doctorat d'ingénieur de l

A. Bourjij, M. Boutayeb, M. Darouach, and G. Krzakala, Du calcul des invariants dans les RdP" soumis à la revue TSI, 1993.

M. Boutayeb, A. Bourjij, and M. Darouach, A decentralized algorithm to deterrnine invariants in Petri Nets" soumis à la revue, IEEE Trans. on Circuits and Systems (Juin, vol.94

G. W. Brams, Réseaux de Petri: théorie et pratique" Tl et T2 Masson, 1983.

R. David and H. Alla, Du Grafcet aux Réseaux de Petri, HERMES, 1989.

A. Bassong-onana and M. Darouach, Optimal filtering for singular systems, Control Theory and Advanced Technology, vol.8, pp.731-742, 1992.

S. F. Beaumont and S. Gentil, Modèle qualitatif de comportement pour un système d'aide à la supervision, RA.I.RO. APII, N°, vol.25, pp.325-373, 1991.

S. B. Ahmed, M. Moalla, M. Courvoisier, and R. Valette, Flexible manufacturing production system modelling using object Petri nets and their analysis" IMACS 13th World Congress and IMACS conference on Modelling and Control of Technological Systems juillet, 1991.

A. De and B. , Mécanismes de reprise dans les systèmes de commande à évènements discrets Thèse de Doctorat de l'université Paul SABATIER, 27 sept, 1993.

J. P. Bourey and . Gentina, Conception structurée et modulaire d'architectures de contrôle réparti en production manufacturière, RA.I.RO. APII, vol.25, pp.349-76, 1991.

K. P. Brand and K. , Principles and engineering of process control with Petri nets, IEEE Transactions on Automatic Control, vol.33, issue.2, pp.136-185, 1988.
DOI : 10.1109/9.381

D. Brunet, M. Jaume, and A. Labarrere, Détection et diagnostic de pannes" Editions Hermes Paris, 1990.

C. , R. Litwak, V. Cocquempot, and M. Staroswiecki, Approche structurelle de la conception de systèmes de surveillance pour des procédés industriels complexes" Diagnostic et sûreté de fonctionnement, pp.179-202, 1994.

M. Combacau, Commande et surveillance des systèmes à évènements discrets complexes: application aux ateliers flexibles Thèse de doctorat de l'université PAUL SABATIER, 16 déc, 1991.

L. Console and L. Portinale, Model-based diagnosis of system malfunction with Petri nets" IMACS 13th World Congress and IMACS conference on Modelling and Control of Technological Systems juillet, 1991.

L. Console and L. Portinale, Model-based diagnosis of system malfunction with Petri Nets Robotics and Flexible Manufacturing systems, IMACS 13th WorldCongress Jul, pp.417-443, 1991.

M. Darouach, M. Zasadzinski, and D. Mehdi, State estimation of stochastic singular linear systems, International Journal of Systems Science, vol.5, issue.2, pp.345-354, 1993.
DOI : 10.1109/TAC.1981.1102763

URL : https://hal.archives-ouvertes.fr/hal-00143947

M. Darouach, M. Zasadzinski, A. Bassong-onana, S. Greenstein, and . Lam, Connection between the three-block generalized Riccati equation and the standard Riccati equation, IEEE Transactions on Automatic Control, vol.39, issue.8, pp.1755-1758, 1985.
DOI : 10.1109/9.310068

R. Horn and C. R. Johnson, Matrix Analysis, 1990.

J. [. Hura and . Atwood, The use of Petri nets to analyse coherent fault trees, IEEE Transactions on Reliability, vol.37, issue.5, 1988.

N. A. Jalel and H. Nicholson, The use of Petri Nets for fault diagnosis, Conference Canadienne et Exposition Automatisation Industrielle, vol.2, pp.32-33, 1992.

R. P. Judd and T. N. Faiz, Optimal deadlock avoidance for a class of manufacturing systems using Petri nets, Proceedings of 1994 American Control Conference, ACC '94, p.50, 1994.
DOI : 10.1109/ACC.1994.751831

. Lap85-]-le and . Laprie, Sûreté de fonctionnement des systèmes informatiques et tolérence aux fautes" Techniques de l'ingénieur, Traité Mesures et Contrôle, pp.1-12

. [. Millot, Supervision des procédés automatisés et ergonomie

T. Nikoukhah, A. S. Willsky, B. E. Levypat90-]-r, P. M. Patton, R. N. Franck et al., State equationKalman fiItering and the Riccati equations for descriptors systemsFault diagnosis in dynamic systems, theory and applicationsA Petri Net model for evaluation of expert systems in organizations, PR091] J. PROCK "A new technique for fauIt detection using Petri Nets, pp.412-428, 1977.

T. Rachell, D. G. , R. , M. Darouach, D. Maquin et al., Fault detection and initial state verification by linear programming for a class of Petri nets" ACCIFM7Validation de données et diagnostic" Editions Helmes Paris, Minimal restrictive deadlock avoidance in FMS" ECC-93 Groningen. [IV.2.3], pp.239-284, 1990.

M. A. Musset-smc-le-touquet, M. Bourjij, M. Zasadzinski, and . Darouach, On the use of hybrid Petri Nets for control process safety: application to a steam-boilers network simulatorDiagnostic par les réseaux de Petri hybrides: application à un réseau de générateurs de vapeur simulé" Symposium ADPM'94 / AFCET, Automation of Mixed Processes: Dynamical Hybrid Systems, Bruxelles, 23-24 novPractical-Optimal Control of Drum Boiler Power PlantA modeling framework for hybrid systems, Automatica IEEE SMC le Touquet, vol.20, issue.2, pp.163-173, 1984.

J. [. Rohsenow, E. N. Hartenett, and . Ganic, Handbook of Heat Transfert Fundamentals Mc Graw-Hill Book Company 1987, LISTE DES FIGURES, issue.2