kw.\*:("Réseau Pétri")
Results 1 to 25 of 4279
Selection :
Les réseaux de Petri contrôlés et leurs applications. II = Controlled Petri nets and their applications. IIMOHAMED-KAMEL GHABRI; LADET, P.Automatique-productique informatique industrielle. 1995, Vol 29, Num 2, pp 225-242, issn 0296-1598Article
Les réseaux de Petri contrôlés et leurs applications. I = Controlled Petri nets and their applications. IMOHAMED-KAMEL GHABRI; LADET, P.Automatique-productique informatique industrielle. 1995, Vol 29, Num 2, pp 203-223, issn 0296-1598Article
Normal Petri netsYAMASAKI, H.Theoretical computer science. 1984, Vol 31, Num 3, pp 307-315, issn 0304-3975Article
Petri net modeling of gate and interconnect delays for power estimationMURUGAVEL, Ashok K; RANGANATHAN, N.Design automation conference. 2002, pp 455-460, isbn 1-58113-461-4, 6 p.Conference Paper
Fault section estimation of power system using colored and timed petri netsCHUN-LING YANG; YOKOYAMA, A; SEKINE, Y et al.Electrical engineering in Japan. 1995, Vol 115, Num 2, pp 89-101, issn 0424-7760Article
Etude et réalisation d'un logiciel d'analyse et de simulation des réseaux de Petri = Study and conception of a tool for analysis and simulation of Petri netsGellot, François; Villermain-Lecolier, G.1994, 183 p.Thesis
Contribution à l'étude des réseaux d'automates programmés interconnectés = Contribution to the study of interconnected programmable automaton networksDENEUX, Hugues.1983, 213 pThesis
Contraction of the ITCPN state spaceBOUCHENEB, H; BERTHELOT, G.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on the theory and practice of timed systems. 2002, 15 p.Conference Paper
Property specification for coloured Petri netsROUBTSOVA, Ella E.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2617-2622Conference Paper
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net modelsLINDEMANN, C.Performance evaluation. 1993, Vol 18, Num 1, pp 79-95, issn 0166-5316Conference Paper
Reachability analysis of (Timed) Petri nets using real arithmeticBERARD, B; FRIBOURG, L.Lecture notes in computer science. 1999, pp 178-193, issn 0302-9743, isbn 3-540-66425-4Conference Paper
Commande rapprochée de convertissuers statiques réalisée au moyen des réseaux de pétri = Control of static converters using petri netsSECHILARIU, M; RATOI-COZMA, M.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 403-406Conference Paper
Réseaux de petri colorés et réseaux de petri continus : application à l'étude des systèmes à événements discretsAlla, Hassane; Ladet, Pierre.1987, 200 p.Thesis
Evaluation des performances de protocle d'accès RL! au moyen de RPS dièse = Performance evaluation of RL! access protocols with RPS sharpDELSAD, Gérard; ZENIE, Alexandre.1986, 24 p.Report
RÉSEAUX DE PETRI ET ALGORITHMESDEVILLERS, Raymond; KLAUDEL, Hanna.TSI. Technique et science informatiques. 2009, Vol 28, Num 9, issn 0752-4072, 119 p.Serial Issue
Applications and theory of Petri nets 2004 (Bologna, 21-25 June 2004)Cortadella, Jordi; Reisig, Wolfgang.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22236-7, XI, 503 p, isbn 3-540-22236-7Conference Proceedings
Workflow procedures as cooperative objectsTOUZEAU, P.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 681-685, isbn 2-9502908-7-6Conference Paper
Snoopy-a unifying Petri net framework to investigate biomolecular networksROHR, Christian; MARWAN, Wolfgang; HEINER, Monika et al.Bioinformatics (Oxford. Print). 2010, Vol 26, Num 7, pp 974-975, issn 1367-4803, 2 p.Article
A distributed operational semantics for CCS based on condition/event systemsDEGANO, P; DE NICOLA, R; MONTANARI, U et al.Acta informatica. 1988, Vol 26, Num 1-2, pp 59-91, issn 0001-5903Article
Knowledge engineering technology and its application to factory automationMATSUMOTO, K; AKASHI, K; KERA, K et al.Hitachi review. 1986, Vol 35, Num 1, pp 1-4, issn 0018-277XArticle
A comparison of two Petri net typesBATHELT, P; HOFMANN, F.Computing (Wien. Print). 1983, Vol 31, Num 2, pp 141-148, issn 0010-485XArticle
On the determination of all tie sets and minimal cut sets between any two nodes of a graph through petri netsHURA, G. S.Microelectronics and reliability. 1983, Vol 23, Num 3, pp 471-475, issn 0026-2714Article
A general Petri nets formalismGHABRI, M.-K.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 115-120, isbn 2-9502908-7-6Conference Paper
Les réseaux de Pétri stochastiques colorés; Colored stochastic Petri nets = Colored stochastic Petri netsZENIE, Alexandre.1986, 10 p.Report
Logical inference of Horn clauses in Petri net modelsLIN, C; CHAUDHURY, A; WHINSTON, A. B et al.IEEE transactions on knowledge and data engineering. 1993, Vol 5, Num 3, pp 416-425, issn 1041-4347Article