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

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

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

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

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

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

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

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

HIERARCHIE ET PARALLELISME DANS LES RESEAUX DE PETRI. ITAL AA; YUDITSKIJ SA.1982; AVTOM. TELEMECH.; ISSN 0005-2310; SUN; DA. 1982; NO 7; PP. 113-122; ABS. ENG; BIBL. 10 REF.Article

HOW TO FIND INVARIANTS FOR COLOURED PETRI NETSJENSEN K.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 327-338; BIBL. 6 REF.Conference Paper

PETRI NETS AND CONCURRENCY-LIKE RELATIONSPROSZYNSKI P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 471-478; BIBL. 6 REF.Conference Paper

PETRI NETS EVENT STRUCTURES AND DOMAINS. INIELSEN M; PLOTKIN G; WINSKEL G et al.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 13; NO 1; PP. 85-108; BIBL. 15 REF.Article

STRUCTURED NETSCHERKASOVA LA; KOTOV VE.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 242-251; BIBL. 5 REF.Conference Paper

NETS IN MODELING AND SIMULATIONNOE JD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 84; PP. 347-368; BIBL. 14 REF.Conference Paper

ON ATOMIC NETS AND CONCURRENCY RELATIONSJANICKI R.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 320-333; BIBL. 7 REF.Conference Paper