Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("RESEAU PETRI")

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

ON THE LANGUAGES OF BOUNDED PETRI NETSSTARKE PH.1979; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DDR; DA. 1979; VOL. 15; NO 7; PP. 355-365; ABS. GER/RUS; BIBL. 3 REF.Article

ANALYSE DES RESEAUX DE PETRI TEMPORISES ET APPLICATION AUX SYSTEMES DISTRIBUES = ANALYSIS OF TIME PETRI NETS AND APPLICATION TO DISTRIBUTED SYSTEMSMENASCHE MIGUEL.1982; ; FRA; DA. 1982; 140 P.; 30 CM; ABS. ENG; BIBL. 10 P.; TH. DOCT.-ING.: AUTOM./TOULOUSE 3/1982/824Thesis

UNE METHODE DE VERIFICATION DES RESEAUX DE PETRI.BERTHELOT G.sdIN: RESEAUX PETRI. JOURN. ETUD. RESEAUX PETRI; PARIS; 1977; PARIS; INST. PROGRAMMATION; DA. S.D.; PP. 33-54; ABS. ANGL.; BIBL. 13 REF.Conference Paper

COLOURED PETRI NETS AND THE INVARIANT-METHODJENSEN F.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 14; NO 3; PP. 317-336; BIBL. 9 REF.Article

ON THE HIERARCHY OF PETRI NET LANGUAGESJANTZEN M.1979; R.A.I.R.O., INFORMAT. THEOR.; FRA; DA. 1979; VOL. 13; NO 1; PP. 19-30; BIBL. 27 REF.Article

A NOTE ON PETRI NET LANGUAGES.MANDRIOLI D.1977; INFORM. AND CONTROL; U.S.A.; DA. 1977; VOL. 34; NO 2; PP. 169-171; BIBL. 6 REF.Article

ANALYSE APPROCHEE DU COMPORTEMENT ASYMPTOMATIQUE DE SYSTEMES TEMPORISES = APPROXIMATE ANALYSIS OF THE ASYMPTOTICAL BEHAVIOUR OF TIMED SYSTEMSCASPI P; HALBWACHS N.1982; ; FRA; GRENOBLE: I.M.A.G.; DA. 1982; IMAG/RR-322; 22 P.; 30 CM; ABS. ENG; BIBL. 13 REF.;[RAPP.RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-322]Report

SUR UN ENSEMBLE D'OUTILS D'AIDE A LA SPECIFICATION ET A LA CONCEPTION DES SYSTEMES INDUSTRIELS = ON A SET OF TOOLS FOR ASSISTING IN SPECIFYING AND DESIGNING INDUSTRIAL SYSTEMSVERCAUTER CHRISTIAN.1982; ; FRA; DA. 1982; 180 P.; 30 CM; BIBL. DISSEM.; TH. 3E CYCLE: INFORM./LILLE 1/1982/983Thesis

THE UNSOLVABILITY OF SOME PETRI NET LANGUAGE PROBLEMSGRABOWSKI J.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 9; NO 2; PP. 60-63; BIBL. 6 REF.Article

ETUDE DU COMPORTEMENT PERMANENT DES RESEAUX DE PETRI TEMPORISES.SIFAKIS J.sdMATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. S.D.; NO 68; PP. 1-43; ABS. ANGL.; BIBL. 7 REF.Serial Issue

ORACLE: UN OUTIL DE REPRESENTATION D'AUTOMATISMES COMPLEXES MODELISES PAR LE GRAFCET = ORACLE: A TOOL FOR REPRESENTING COMPLEX AUTOMATISMS MODELIZED BY THE GRAFCETLEROY PHILIPPE.1982; ; FRA; DA. 1982; 181 P.; 30 CM; BIBL. 43 REF.; TH. 3E CYCLE: CONCEPT. ASSISTEE SYST./MONTPELLIER 2/1982/848Thesis

VERIFICATION DE RESEAUX DE PETRI.BERTHELOT G.1978; ; S.L.; DA. 1978; PP. (220P.); BIBL. 3 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. APPL., MENTION INF.; PIERRE ET MARIE CURIE PARIS 6)Thesis

SOME RESULTS ON TIMED PETRI-NETSCHRETIENNE P.1980; LECTURE NOTES CONTROL INFORM. SCI.; DEU; DA. 1980; NO 23; PP. 291-299; BIBL. 2 REF.Conference Paper

INTRODUCTION AUX RESEAUX DE PETRIBLANCHET GERARD.1979; ; FRA; PARIS: ENST; DA. 1979; ENST-D/79007; NON PAG.; 30 CM; BIBL. 14 REF.; DEPARTEMENT SYSTEMES ET COMMUNICATIONSReport

HIERARCHIE ET PARALLELISME DANS LES RESEAUX DE PETRI. II. RESEAUX DE PETRI A AUTOMATES COMPLEXES AVEC PARALLELISMETAL AA; YUDITSKIJ SA.1982; AVTOM. TELEMEH.; ISSN 0005-2310; SUN; DA. 1982; NO 9; PP. 83-88; ABS. ENG; BIBL. 2 REF.Article

APPLICATIONS OF THE SEMIFLOW NOTION TO THE BOUNDEDNESS AND LIVENESS PROBLEMS IN THE PETRI NETS THEORYMEMMI G.1978; CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS. 12/1978-03-29/BALTIMORE; USA; BALTIMORE: JOHNS HOPKINS UNIVERSITY; DA. 1978; PP. 505-509; BIBL. 13 REF.Conference Paper

MODELISATION DES SYSTEMES DE COMMANDE NUMERIQUE ET LEUR ANALYSE.VALETTE R; GEOFFROY JC; COURVOISIER M et al.1975; IN: AUTOM. INSTRUM. AUBE DERNIER QUART SIECLE. ASSOC. FR. CYBERN. ECON. TECH. CONGRES; TOULOUSE; 1975; PARIS; A.F.C.E.T.; DA. 1975; PP. 283-290; BIBL. 16 REF.Conference Paper

ON WEAK PERSISTENCY OF PETRI NETSYAMASAKI H.1981; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1981; VOL. 13; NO 3; PP. 94-97; BIBL. 5 REF.Article

A COMPARISON BETWEEN PETRI-NETS AND GRAPH GRAMMARSKREOWSKI HJ.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 100; PP. 306-317; BIBL. 20 REF.Conference Paper

PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLSBERTHELOT G; TERRAT R.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 12; PP. 2497-2505; BIBL. 20 REF.Article

ALGORITHMES D'ALGEBRE LINEAIRE POUR L'ANALYSE STRUCTURELLE DES RESEAUX DE PETRITOUDIC JM.1982; REVUE TECHNIQUE THOMSON-CSF; ISSN 0035-4279; FRA; DA. 1982; VOL. 14; NO 1; PP. 137-155; ABS. ENG; BIBL. 10 REF.Article

REACHABILITY HOMOMORPHISMS ON NETSEBERT J; PERL J.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 100; PP. 326-334; ABS. GER; BIBL. 4 REF.Conference Paper

SUR LE CONCEPT DE MACROPLACE ET SON UTILISATION POUR L'ANALYSE DES RESEAUX DE PETRISILVA M.1981; R. A. I. R. O., AUTOM.; ISSN 0399-0524; FRA; DA. 1981; VOL. 15; NO 4; PP. 335-345; ABS. ENG; BIBL. 8 REF.Article

L'IMPIEGO DI MICROELABORATORI PER LA REALIZZAZIONE DI AUTOMATISMI. = L'UTILISATION DE MICROPROCESSEURS POUR LA REALISATION D'AUTOMATISMESDADDA L.1976; ALTA FREQ.; ITAL.; DA. 1976; VOL. 45; NO 3; PP. 158-166; BIBL. 9 REF.Article

A DECIDABILITY THEOREM FOR A CLASS OF VECTOR - ADDITION SYSTEMS.CRESPI REGHIZZI S; MANDRIOLI D.1975; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1975; VOL. 3; NO 3; PP. 78-80; BIBL. 8 REF.Article

  • Page / 172