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

Real-time scheduling with deadlock avoidance in flexible manufacturing systemsELMEKKAWY, Tarek Y; ELMARAGHY, Hoda A.International journal, advanced manufacturing technology. 2003, Vol 22, Num 3-4, pp 259-270, issn 0268-3768, 12 p.Article

Representing Petri Nets in an action based formalismOTERO, R. P; RODRIGUEZ, J. M.Lecture notes in computer science. 2000, pp 105-115, issn 0302-9743, isbn 3-540-67822-0Conference Paper

Modélisation et analyse d'une cellule flexible sous un ensemble de contraintes cycliques = Modeling and analysis of a flexible cell under a set of cyclic constraintsJULIA, S; VALETTE, R.Journal européen des systèmes automatisés. 1997, Vol 31, Num 8, pp 1275-1296, issn 1269-6935Article

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

Oris: a tool for modeling, verification and evaluation of real-time systemsBUCCI, Giacomo; CARNEVALI, Laura; RIDI, Lorenzo et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 391-403, issn 1433-2779, 13 p.Article

Proving properties of real-time systems through logical specifications and petri net modelsFELDER, M; MANDRIOLI, D; MORZENTI, A et al.IEEE transactions on software engineering. 1994, Vol 20, Num 2, pp 127-141, issn 0098-5589Article

Timed colored petri nets and fuzzy sets based model for decision makingSIMOES, M. A. S; BARRETTO, M. R. P.SPIE proceedings series. 2000, pp 286-294, isbn 0-8194-3857-XConference Paper

A partial order method for the verification of time Petri netsVIRBITSKAITE, I; POKOZY, E.Lecture notes in computer science. 1999, pp 547-558, issn 0302-9743, isbn 3-540-66412-2Conference Paper

Temporal analysis of data flow control systemsBERNARDESCHI, C; BONDAVALLI, A; CSERTAN, G et al.Automatica (Oxford). 1998, Vol 34, Num 2, pp 169-182, issn 0005-1098Article

Timed Petri net models of ATM LANsREID, M; ZUBEREK, W. M.Application of Petri nets to communication networks (advances in Petri nets). Lecture notes in computer science. 1999, pp 150-175, issn 0302-9743, isbn 3-540-65870-XBook Chapter

A heuristic search approach using approximate solutions to Petri net state equations for scheduling flexible manufacturing systemsMU DER JENG; SHIH CHANG CHEN.International journal of flexible manufacturing systems. 1998, Vol 10, Num 2, pp 139-162, issn 0920-6299Article

Model checking of time Petri nets based on partial order semanticsBIEBER, B; FLEISCHHACK, H.Lecture notes in computer science. 1999, pp 210-225, issn 0302-9743, isbn 3-540-66425-4Conference Paper

Modeling and analysis of timed Petri nets using heaps of piecesGAUBERT, S; MAIRESSE, J.Ecole de printemps d'informatique théorique. 1998, pp 359-369Conference Paper

Modeling and controlling an isolated urban intersection based on cooperative vehiclesAHMANE, Mourad; ABBAS-TURKI, Abdeljalil; PERRONNET, Florent et al.Transportation research. Part C, Emerging technologies. 2013, Vol 28, pp 44-62, issn 0968-090X, 19 p.Article

Incorporation of Cycles and Inhibitory Arcs into the Timed Petri Net Model of Signaling Pathway : Mathematical Systems Science and its ApplicationsMURAKAMI, Yuki; GE, Qi-Wei; MATSUNO, Hiroshi et al.IEICE transactions on fundamentals of electronics, communications and computer science. 2013, Vol 96, Num 2, pp 514-524, issn 0916-8508, 11 p.Article

Supporting adaptive learning in hypertext environments : a high level timed Petri net-based approach : Intelligent decision support systemsSHANG GAO; ZILI ZHANG; HAWRYSZKIEWYCZ, Igor et al.International journal of intelligent systems technologies and applications (Print). 2008, Vol 4, Num 3-4, pp 341-354, issn 1740-8865, 14 p.Article

Distributed performance evaluation of a controlled IC fabKUO, Chung-Hsien; HUANG, Han-Pang.IEEE transactions on robotics and automation. 2003, Vol 19, Num 6, pp 1027-1033, issn 1042-296X, 7 p.Article

Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)BOYER, Marc.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

When are Timed Automata weakly timed bisimilar to Time Petri Nets?BERARD, B; CASSEZ, F; HADDAD, S et al.Theoretical computer science. 2008, Vol 403, Num 2-3, pp 202-220, issn 0304-3975, 19 p.Article

Timed event graphs with variable resources : Asymptotic behavior, representation in (min, +) algebraLAHAYE, S; BOIMOND, J.-L; HARDOUIN, L et al.Journal européen des systèmes automatisés. 1999, Vol 33, Num 8-9, pp 1015-1032, issn 1269-6935Conference Paper

Auto-design systematic methodology of cluster MPSoC for multiple concurrent applicationsDA LI; YIBIN HOU; ZHANGQIN HUANG et al.International journal of computer applications in technology. 2013, Vol 48, Num 3, pp 253-261, issn 0952-8091, 9 p.Article

Timed Petri nets and timed automata : On the discriminating power of zeno sequencesBOUYER, Patricia; HADDAD, Serge; REYNIER, Pierre-Alain et al.Information and computation (Print). 2008, Vol 206, Num 1, pp 73-107, issn 0890-5401, 35 p.Article

Vérification formelle des systèmes temps-réel avec ordonnancement préemptifLIME, Didier; ROUX, Olivier H.TSI. Technique et science informatiques. 2006, Vol 25, Num 3, pp 343-370, issn 0752-4072, 28 p.Article