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

Normal Petri netsYAMASAKI, H.Theoretical computer science. 1984, Vol 31, Num 3, pp 307-315, issn 0304-3975Article

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

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

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

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

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

Petri net models for the evaluation of applicative programs based on λ-expressionsKLUGE, W. E; SCHLÜTTER, H.IEEE transactions on software engineering. 1983, Vol 9, Num 4, pp 415-427, issn 0098-5589Article

Pénétration des automates programmables dans les systèmes automatisés. I: Les réseaux d'automates: analyse de la coopération = Penetration of programmable controllers into automated systems. I: Automated device systems: analysis of co-operationVALETTE, R; COURVOISIER, M; BIGOU, J.-M et al.Revue générale de l'électricité (Paris). 1983, Num 12, pp 733-740, issn 0035-3116Article

Hierarchical petri nets for modeling metabolic phenotype in prokaryotesBALASUBRAMANIAN, N; YEH, Ming-Li; CHANG, Chuei-Tin et al.Industrial & engineering chemistry research. 2005, Vol 44, Num 7, pp 2218-2240, issn 0888-5885, 23 p.Article

Nets enriched over closed monoidal structuresBADOUEL, Eric; CHENOU, Jules.Lecture notes in computer science. 2003, pp 64-81, issn 0302-9743, isbn 3-540-40334-5, 18 p.Conference Paper

Casting petri nets into programsNELSON, R. A; HAIBT, L. M; SHERIDAN, P. B et al.IEEE transactions on software engineering. 1983, Vol 9, Num 5, pp 590-602, issn 0098-5589Article

Enumeration of all-2-trees in a graph through Petri netsHURA, G. S.Microelectronics and reliability. 1983, Vol 23, Num 5, pp 851-853, issn 0026-2714Article

Rule-based design methodology for solving control problemsETASSAMI, F. S; HURA, G. S.IEEE transactions on software engineering. 1991, Vol 17, Num 3, pp 274-282, issn 0098-5589, 9 p.Article