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

FAST ALGORITHMS FOR THE 2-D DISCRETE COSINE TRANSFORMKAMANGAR FA; RAO KR.1982; IEEE TRANSACTIONS ON COMPUTERS; ISSN 0018-9340; USA; DA. 1982; VOL. 31; NO 9; PP. 899-906; BIBL. 25 REF.Article

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

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

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

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

Petri net modelling of biological networksCHAOUIYA, Claudine.Briefings in bioinformatics. 2007, Vol 8, Num 4, pp 210-219, issn 1467-5463, 10 p.Article

A characterization of the stochastic process underlying a stochastic petri netCIARDO, G; GERMAN, R; LINDEMANN, C et al.IEEE transactions on software engineering. 1994, Vol 20, Num 7, pp 506-515, issn 0098-5589Article

Generalized stochastic Petri nets : a definition at the net level and its implicationsCHIOLA, G; MARSAN, M. A; BALBO, G et al.IEEE transactions on software engineering. 1993, Vol 19, Num 2, pp 89-107, issn 0098-5589Article

ZUR SIMULATION EINER NUTZERSCHNITTSTELLE MITTELS INTERPRETATION FORMALISIERTER AUFGABENBESCHREIBUNGEN = SUR LA SIMULATION D'UN INTERFACE UTILISATEUR EN INTERPRETANT DES DESCRIPTIONS DE TACHES FORMALISEESRAMSPERGER NG.1983; ANGEWANDTE INFORMATIK; ISSN 0013-5704; DEU; DA. 1983; NO 2; PP. 47-54; ABS. ENG; BIBL. 15 REF.Article

PROCESSES IN PETRI NETSSTARKE PH.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 350-359; BIBL. 7 REF.Conference Paper

SIMULATION GRAPHS: A GENERAL TOOL FOR MODELING SIMULATION DESIGNSTOERN AA.1981; SIMULATION; ISSN 0037-5497; USA; DA. 1981; VOL. 37; NO 6; PP. 187-194; BIBL. 9 REF.Article

STATE EQUATION REPRESENTATION OF LOGIC OPERATIONS THROUGH A PETRI NETKHAN AA; HURA GS; SINGH H et al.1981; PROC. IEEE; ISSN 0018-9219; USA; DA. 1981; VOL. 69; NO 4; PP. 485-487; BIBL. 5 REF.Article

MODIFIED PETRI NETS AS FLOWCHARTS FOR RECURSIVE PROGRAMSWENDT S.1980; SOFTWARE-PRACT. EXPER.; GBR; DA. 1980; VOL. 10; NO 11; PP. 935-942; BIBL. 2 REF.Article

SOFTWARE DESIGN REPRESENTATION USING ABSTRACT PROCESS NETWORKSMEKLY LJ; YAU SS.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 5; PP. 420-435; BIBL. 2 P.Article

STRUCTURED REPRESENTATION OF KNOWLEDGE BY PETRI NETS AS AN AID FOR TEACHING AND RESEARCHJANTZEN M.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 84; PP. 507-517; BIBL. 8 REF.Conference Paper

A PETRI NET COMPILERPAPACOSTAS A.1980; COMPUT. IND.; NLD; DA. 1980; VOL. 1; NO 4; PP. 277-287; BIBL. 3 REF.Article

STRUCTURED PROJECT-PLANNING: FROM A JACKSON DIAGRAM TO A NETWORK VIA PETRI'S COMMUNICATION FORM AS THE INTERMEDIATE LANGUAGECRAEMER D.1979; ANGEW. INFORMAT.; DEU; DA. 1979; NO 9; PP. 379-385; ABS. GER; BIBL. 14 REF.Article

USING PREDICATE/TRANSITION-NETS TO MODEL AND ANALYZE DISTRIBUTED DATABASE SYSTEMSVOSS K.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 801-806; BIBL. 7 REF.Conference Paper

SELF-MODIFYING NETS, A NATURAL EXTENSION OF PETRI NETS.VALK R.1978; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1978; NO 62; PP. 464-476; BIBL. 12 REF.; (AUTOM. LANG. PROGRAM. COLLOQ. 5; UDINE; 1978)Conference Paper