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

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

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

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

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

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

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

Petri-net based binary integer programs for automatic synthesis of batch operating proceduresLAI, Jeng-Wen; CHANG, Chuei-Tin; HWANG, Shyh-Hong et al.Industrial & engineering chemistry research. 2007, Vol 46, Num 9, pp 2797-2813, issn 0888-5885, 17 p.Article

Undecidability of weak bisimulation equivalence for 1-counter processesMAYR, Richard.Lecture notes in computer science. 2003, pp 570-583, issn 0302-9743, isbn 3-540-40493-7, 14 p.Conference 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

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

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

Teaching Coloured Petri nets: Examples of courses and lessons learnedCHRISTENSEN, Siren; JØRGENSEN, Jens Baek.Lectures on concurrency and Petri nets : advances in Petri nets. Lecture notes in computer science. 2004, pp 402-412, issn 0302-9743, isbn 3-540-22261-8, 11 p.Book Chapter

Worm detection using CPNLIU PEISHUN; WANG JIANBO; HE DAKE et al.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol5, 4941-4946Conference Paper

Agent-oriented single token and colored transition petri netSUI JIE; YU HUA; JIAO JIANBIN et al.High technology letters. 2002, Vol 8, Num 1, pp 54-57, issn 1006-6748Article

Model checking LTL properties of High-Level Petri Nets with fairness constraintsLATVALA, Timo.Lecture notes in computer science. 2001, pp 242-262, issn 0302-9743, isbn 3-540-42252-8Conference Paper

FMS Reconfiguration based on Petri nets modelsBELABBAS, Aissam; BERRUET, Pascal.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol2, 1819-1824Conference Paper

On some analysis properties of colored petri net using underlying netOHTA, Atsushi; TSUII, Kohkichi.MWSCAS : Midwest symposium on circuits and systems. 2004, isbn 0-7803-8346-X, 3Vol, Vol III, 395-398Conference Paper

Microcontroller software design using Petri tablesHINTZ, K. J.Journal of microcomputer applications. 1992, Vol 15, Num 4, pp 313-325, issn 0745-7138Article

Putting high-level Petri nets to work in industryVAN DER AALST, W. M. P.Computers in industry. 1994, Vol 25, Num 1, pp 45-54, issn 0166-3615Article

Net systems semantics of Web services orchestrations modeled in ORC = Sémantique des orchestrations de services Web en termes de systèmes de réseaux de PetriRosario, Sydney; Benveniste, Albert; Haar, Stefan et al.Publication interne - IRISA. 2005, issn 1166-8687, 1Vol, 27 p.Report