Welcome to our web site

The Group of Discrete Event Systems Engineering is accredited as "Consolidated Research Group" by the Aragonese Government (Ref. T27), thus partially co-financed by the Aragonese Government and the European Social Fund. It is part of the Department of Computer Science and Systems Engineering at the University of Zaragoza. It is also integrated in the Aragon Institute for Engineering Research (I3A).

Here you will find information about our projects and research work on formal methods in computer science and systems engineering. Hope you find it useful.


Thu, 29/05/2014
Co-Edited by Javier Campos and published by CRC Press.
Fri, 28/06/2013
Estíbaliz Fraca received the "Outstanding Paper" Award at the Petri Nets Conference'2013.
Thu, 16/05/2013
El I3A ha celebrado su II Jornada de Jóvenes Investigadores. Entre los trabajos presentados se reconoció, en la División de TICs, el de Estíbaliz Fraca, estudiante de doctorado del GISED.


Thu, 19/01/2017 - 11:00 - 13:00

Discrete Event System Tools for Fault Diagnosis and Collision Prevention

Thu, 19/01/2017 - 09:30

Ponente: Francesco Basile, University of Salerno, Italy

Tue, 17/01/2017 - 11:00

Ponente: Kristofer Bengtsson, Chalmers University of Technology, Gothenburg, Sweden