Tj sont telles que h(Pi) =D et h(Tj) =C alors pré(Pi, Tj) =post ,
Le marquage initial d'une D-place est un entier naturel alors que celui d'une C-place ,
Transition est validée si chacune des places Pi E ·Tj vérifie: si Pi est une D-place, M(P i ) ~ pré ,
Petri Net modelling in embedded system design" CompEuro 92, Computer systems and software engineering, pp.612-629 ,
Petri Nets Theory for the Correctness of Protocols, IEEE Transactions on Communications, vol.30, issue.12 ,
DOI : 10.1109/TCOM.1982.1095452
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. ,
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. ,
Controlled execution of timed Petri nets, Technology and Science oflnformatics, vol.3, issue.1, pp.19-26, 1984. ,
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
Observabilité et validation de données de systèmes de grande dimension Application à l'équilibrage des bilans de mesures, Thèse d'état, 1986. ,
Continuous PNs" 8 th European Workshop on Application and Theory on PNs zaragoza (spain) june, pp.275-294, 1987. ,
Du Grafcet aux Réseaux de Petri, HERMES, 1989. ,
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. ,
Petri Nets modeling of dynarnic systems, a survey ,
Definition and performance evaluation using timed event graph" ECC-93 Groningen ,
ALLA "hybrid Petri Net with stochastic discrete part ,
Un outil pour la vérification des protocoles décrits par ,
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. ,
Hybrid Petri Nets, European Conference, pp.1472-77, 1991. ,
Asymptotic continuous Petri nets, Discrete Event Dynamic Systems, vol.16, issue.3-4 ,
DOI : 10.1007/BF01797160
Proceedings of an advanced course Bad Honnef, dec, 1984. ,
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. ,
Recherche de semi-flots, de verrous et de trappes dans les réseaux de Petri, pp.104-112, 1985. ,
Matrices in control theory, 1984. ,
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. ,
Analyse structurelle des RdP méthodes et outils Thèse de doctorat d'ingénieur de l ,
Du calcul des invariants dans les RdP" soumis à la revue TSI, 1993. ,
A decentralized algorithm to deterrnine invariants in Petri Nets" soumis à la revue, IEEE Trans. on Circuits and Systems (Juin, vol.94 ,
Réseaux de Petri: théorie et pratique" Tl et T2 Masson, 1983. ,
Du Grafcet aux Réseaux de Petri, HERMES, 1989. ,
Optimal filtering for singular systems, Control Theory and Advanced Technology, vol.8, pp.731-742, 1992. ,
Modèle qualitatif de comportement pour un système d'aide à la supervision, RA.I.RO. APII, N°, vol.25, pp.325-373, 1991. ,
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. ,
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. ,
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. ,
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étection et diagnostic de pannes" Editions Hermes Paris, 1990. ,
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. ,
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. ,
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. ,
Model-based diagnosis of system malfunction with Petri Nets Robotics and Flexible Manufacturing systems, IMACS 13th WorldCongress Jul, pp.417-443, 1991. ,
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
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
Matrix Analysis, 1990. ,
The use of Petri nets to analyse coherent fault trees, IEEE Transactions on Reliability, vol.37, issue.5, 1988. ,
The use of Petri Nets for fault diagnosis, Conference Canadienne et Exposition Automatisation Industrielle, vol.2, pp.32-33, 1992. ,
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
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 ,
Supervision des procédés automatisés et ergonomie ,
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. ,
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. ,
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. ,
Handbook of Heat Transfert Fundamentals Mc Graw-Hill Book Company 1987, LISTE DES FIGURES, issue.2 ,