Business process behavior is (almost) free-choiceSTRAUB, P. A; HURTADO L., C.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 704-709, 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

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

Petri nets with exclusive entities for decision makingLATORRE, J. I; JIMENEZ, E.International journal of simulation & process modelling (Print). 2013, Vol 8, Num 1, pp 66-73, issn 1740-2123, 8 p.Article

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

Preserving correctness during business process model configurationVAN DER AALST, Wil M. P; DUMAS, Marlon; GOTTSCHALK, Florian et al.Formal aspects of computing. 2010, Vol 22, Num 3-4, pp 459-482, issn 0934-5043, 24 p.Article

Evaluation des performances de protocle d'accès RL! au moyen de RPS dièse = Performance evaluation of RL! access protocols with RPS sharpDELSAD, Gérard; ZENIE, Alexandre.1986, 24 p.Report

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

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

Knowledge engineering technology and its application to factory automationMATSUMOTO, K; AKASHI, K; KERA, K et al.Hitachi review. 1986, Vol 35, Num 1, pp 1-4, issn 0018-277XArticle

A comparison of two Petri net typesBATHELT, P; HOFMANN, F.Computing (Wien. Print). 1983, Vol 31, Num 2, pp 141-148, issn 0010-485XArticle

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

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

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