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

Snoopy-a unifying Petri net framework to investigate biomolecular networksROHR, Christian; MARWAN, Wolfgang; HEINER, Monika et al.Bioinformatics (Oxford. Print). 2010, Vol 26, Num 7, pp 974-975, issn 1367-4803, 2 p.Article

A distributed operational semantics for CCS based on condition/event systemsDEGANO, P; DE NICOLA, R; MONTANARI, U et al.Acta informatica. 1988, Vol 26, Num 1-2, pp 59-91, issn 0001-5903Article

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

A general Petri nets formalismGHABRI, M.-K.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 115-120, isbn 2-9502908-7-6Conference Paper

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

Reproducibility of the empty markingLAUTENBACH, Kurt.Lecture notes in computer science. 2002, pp 237-253, issn 0302-9743, isbn 3-540-43787-8, 17 p.Conference Paper

Agent in a Petri nets worldNEUENDORF, K.-P.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 624-629, isbn 2-9502908-7-6Conference Paper

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

State equation and stability of a class of continuous Petri Nets. Application to manufacturing linesAMER-YAHIA, C; ZERHOUNI, N; EL-MOUDNI, A et al.INRIA / IEEE symposium on emerging technologies and factories automation. 1995, pp 313-321, isbn 0-7803-2535-4, 3VolConference 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

Behavioural notions for elementary net systemsNIELSEN, M; ROZENBERG, G; THIAGARAJAN, P. S et al.Distributed computing. 1990, Vol 4, Num 1, pp 45-57, issn 0178-2770, 13 p.Article

An approach to distributed state space exploration for coloured Petri netsKRISTENSEN, Lars M; PETRUCCI, Laure.Lecture notes in computer science. 2004, pp 474-483, issn 0302-9743, isbn 3-540-22236-7, 10 p.Conference Paper

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

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

Implementation of on-line simulation with the colored Petri net simulator RENEWBESSEY, Thomas.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol6, 5019-5024Conference Paper