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

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

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

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

POC net, a subclass of Petri nets, and its application to timed Petri netsATSUCHI OHTA; TOMIJI HISAMURA.International journal of systems science. 1993, Vol 24, Num 3, pp 539-552, issn 0020-7721Article

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

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

Marking estimation of petri nets with silent transitionsGIUA, Alessandro; SEATZU, Carla; CORONA, Daniele et al.IEEE transactions on automatic control. 2007, Vol 52, Num 9, pp 1695-1699, issn 0018-9286, 5 p.Article

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

Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance SystemNAIQI WU; FENG CHU; MAMMAR, Said et al.IEEE Transactions on intelligent transportation systems. 2011, Vol 12, Num 4, pp 977-989, issn 1524-9050, 13 p.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

A service-oriented approach for developing adaptive distribution chainDAVIDRAJUH, Reggie.International journal of services and standards (Print). 2007, Vol 3, Num 1, pp 64-78, issn 1740-8849, 15 p.Article

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

Virtual first-order structureCHAO, Daniel Yuh.Journal of information science and engineering. 2007, Vol 23, Num 2, pp 371-385, issn 1016-2364, 15 p.Article

Les réseaux de Pétri stochastiques colorés; Colored stochastic Petri nets = Colored stochastic Petri netsZENIE, Alexandre.1986, 10 p.Report

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