Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Réseau Pétri")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 4279

  • Page / 172

Export

Selection :

  • and

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

  • Page / 172