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

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

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

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

AN ALGORITHM TO IDENTIFY SLICES, WITH APPLICATIONS TO VECTOR REPLACEMENT SYSTEMSGRABOWSKI J.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 425-432; BIBL. 13 REF.Conference Paper

SIMPLIFICATION DES RESEAUX DE PETRI PAR ELIMINATION DE PLANS IMPLICITESSILVA M.1980; DIGIT. PROCESSES; ISSN 0301-4185; CHE; DA. 1980; VOL. 6; NO 4; PP. 245-256; ABS. ENG/GER; BIBL. 6 REF.Article

AUTOMATES DECRITS PAR RESEAU DE PETRI REALISES AVEC UN SEUL TYPE DE MONDE.FOUSSARD Y.1976; AUTOMATISME; FR.; DA. 1976; VOL. 21; NO 1-2; PP. 39-42; ABS. ANGL.; BIBL. 4 REF.Article

FUITES DANS LES RESEAUX DE PETRI.MEMMI G.1978; R.A.I.R.O., INFORMAT. THEOR.; FRA; DA. 1978; VOL. 12; NO 2; PP. 125-144; ABS. ENG; BIBL. 15 REF.Article

FORMAL THEORIES OF PETRI NETS AND NET SIMULATION.WINKOWSKI J.1976; PRACE C.O.P.A.N.; POLSKA; DA. 1976; NO 242; PP. 1-24; ABS. RUSSE POL.; BIBL. 4 REF.Serial Issue

PROGRAMME DE SIMULATION ET D'ANALYSE DES SCHEMAS A RESEAUX DE PETRI, EN LANGAGE APL.RENALIER J; AZEMA P; VALETTE R et al.sdIN: RESEAUX PETRI. JOURN. ETUD. RESEAUX PETRI; PARIS; 1977; PARIS; INST. PROGRAMMATION; DA. S.D.; PP. 73-87; ABS. ANGL.; BIBL. 1 REF.Conference Paper