Special Issue on Applications of DEVS FormalismsBARROS, Fernando; CHI, Sungdo.Simulation (San Diego, Calif.). 2005, Vol 81, Num 2, issn 0037-5497, 83 p.Serial Issue

A tool for the structured modelling of discrete events systems behavior : The HypergrafcetDUMERY, J.-J; FAURE, J.-M; FRACHET, J.-P et al.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 519-524, isbn 2-9502908-7-6Conference Paper

Stability of linear systems in maximum algebraLIANGQIAO WAN; FENGSHENG TU.International Journal of Control. 1995, Vol 61, Num 5, pp 1191-1200, issn 0020-7179Article

Nonblocking supervisory control of state tree structuresMa, Juan; Wonham, W. Murray.Lecture notes in control and information sciences. 2005, issn 0170-8643, isbn 3-540-25069-7, 1Vol, XIII-184 p, isbn 3-540-25069-7Book

An application of Independent, Increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri netsSREENIVAS, R. S.Automatica (Oxford). 1998, Vol 34, Num 12, pp 1613-1615, issn 0005-1098Article

Event-driven algorithms of incremental logic computations using generalized decision diagramsVIATKIN, V; NAKANO, K; HAYASHI, T et al.IEE conference publication. 1998, pp 853-858, issn 0537-9989, isbn 0-85296-708-X, 2VolConference Paper

Functional and/or structural approach for the supervision of flexible manufacturing systemsTOGUYENI, A. K. A; ELKHATTABI, S; CRAYE, E et al.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 716-721, isbn 2-9502908-7-6Conference Paper

Simulation in 1991―Ten years onCROOKES, J. G.European journal of operational research. 1992, Vol 57, Num 3, pp 305-308, issn 0377-2217Article

Heterogeneous simulation framework using DEVS BUSYONG JAE KIM; JAE HYUN KIM; TAG GON KIM et al.Simulation (San Diego, Calif.). 2003, Vol 79, Num 1, pp 3-18, issn 0037-5497, 16 p.Article

MODELISATION ET SIMULATION A EVENEMENTS DISCRETS DE SYSTEMES HYBRIDES = DISCRETE EVENTS MODELLING AND SIMULATION OF HYBRID SYSTEMSEscude, Bruno; Giambasi, Norbert.2000, 189 p.Thesis

Introducing planning in discrete event systemsCABALAR, P; OTERO, R. P; CABARCOS, M et al.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 79-82, isbn 84-88912-04-8Conference Paper

DISCRET-EVENT SIMULATION IN PRODUCTION MANAGEMENTGRIMAUD, Frédéric; DOLGUI, Alexandre.International journal of simulation & process modelling (Print). 2011, Vol 6, Num 3, issn 1740-2123, 72 p.Serial Issue

SYNTHESE DE LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS PAR GRAFCET = CONTROL SYNTHESIS FOR DISCRETE EVENT SYSTEMES CONTROLLED BY GRAFCETNdjab Hagrebell, Constant; Zaytoon, Janan.1999, 128 p.Thesis

Decomposing controllers into non-conflicting distributed controllersKRISHNAN, Padmanabhan.Lecture notes in computer science. 2005, pp 511-526, issn 0302-9743, isbn 3-540-25304-1, 16 p.Conference Paper

Application of the cell-DEVS paradigm for cell spaces modelling and simulationWAINER, Gabriel A; GIAMBIASI, Norbert.Simulation (San Diego, Calif.). 2001, Vol 76, Num 1, pp 22-39, issn 0037-5497Article

SECUSIM: A tool for the cyber-attack simulationJONG SOU PARK; LEE, Jang-Se; HWAN KUK KIM et al.Lecture notes in computer science. 2001, pp 471-475, issn 0302-9743, isbn 3-540-42880-1Conference Paper

Reasoning about continuous changeO'NEILL, T; FOO, N.Lecture notes in computer science. 1998, pp 294-304, issn 0302-9743, isbn 3-540-65271-XConference Paper

Estimate based limited lookahead supervisory control for closed language specificationsTAKAI, S.Automatica (Oxford). 1997, Vol 33, Num 9, pp 1739-1743, issn 0005-1098Article

Failure diagnosis using discrete-event modelsSAMPATH, M; SENGUPTA, R; LAFORTUNE, S et al.IEEE transactions on control systems technology. 1996, Vol 4, Num 2, pp 105-124, issn 1063-6536Article

Gesteuerte ereignisdiskrete Prozesse: Weiterführende Überlegungen zur «Quäck'schen Waschmaschine» = Control of discrete event processes: Further reflections to the Quäck's washing-machineREHKOPF, A.Automatisierungstechnik. 1995, Vol 43, Num 5, pp 242-248, issn 0178-2312Article

Design of procedural controllers for chemical processesSANCHEZ, A; MACCHIETTO, S.Computers & chemical engineering. 1995, Vol 19, pp S381-S386, issn 0098-1354, SUPConference Paper

Zur Beschreibung von Petri-Netzen als Abtastsystem = On modelling Petri nets as discrete-time systemsFRICK, K.Automatisierungstechnik. 1994, Vol 42, Num 9, pp 385-390, issn 0178-2312Article

A normality theorem for decentralized control of discrete-event systemsLIN, F; MORTAZAVIAN, H.IEEE transactions on automatic control. 1994, Vol 39, Num 5, pp 1089-1093, issn 0018-9286Article

Functionality investigation using a discrete event system apporahcBOGONI, L; BAJCSY, R.Robotics and autonomous systems. 1994, Vol 13, Num 3, pp 173-196, issn 0921-8890Article

Formulas for calculating supremal controllable and normal sublanguagesBRANDT, R. D; GARG, V; KUMAR, R et al.Systems and control letters. 1990, Vol 15, Num 2, pp 111-117, 7 p.Article