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

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

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

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

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

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

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

Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathwaysHARDY, Simon; ROBILLARD, Pierre N.Bioinformatics (Oxford. Print). 2008, Vol 24, Num 2, pp 209-217, issn 1367-4803, 9 p.Article

Generalized conditions for liveness enforcement and deadlock prevention in Petri netsIORDACHE, Marian V; ANTSAKLIS, Panos J.Lecture notes in computer science. 2001, pp 184-203, issn 0302-9743, isbn 3-540-42252-8Conference Paper

Synthesis of nets with inhibitor arcsBUSI, N; PINNA, G. M.Lecture notes in computer science. 1997, pp 151-165, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Invariant-preserving petri net reduction and conditions for invariant-existenceDAS, S. K; AGRAWAL, V. K; DILIP SARKAR et al.Computers & electrical engineering. 1988, Vol 14, Num 3-4, pp 75-91, issn 0045-7906Article

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

Counterexamples to Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methodsXIAOLAN XIE; GIUA, Alessandro; HE, Kevin X et al.IEEE transactions on automatic control. 2004, Vol 49, Num 7, pp 1217-1220, issn 0018-9286, 4 p.Article

Eliminating internal behaviour in Petri netsWIMMEL, Harro.Lecture notes in computer science. 2004, pp 411-425, issn 0302-9743, isbn 3-540-22236-7, 15 p.Conference Paper