Systems Engineering and Discrete Event Systems Group
(http://webdiis.unizar.es/GISED/gised/)
Department of Computer Science and Systems Engineering
University of Zaragoza,
Spain

The activities of the group are related to the modelling, analysis andformal synthesis of some classes of artificial systems that areinteresting from a technical point of view (production systems,computer systems, logistic systems, coordination systems, etc.).Usually more adequately modelled by means of discrete event systemsformalisms
(automata, Petri nets, process algebra, queuing networks,…), thestate explosion problem puts a limit to most of the analysis orsynthesis techniques. Relaxations
based on continuization appear as a possible way to overcome thesedifficulties when largely populated systems, or systems with highcadence are considered.

More specifically, the project will be mainly focused on the formalismof continuous Petri nets, defined relaxing the integrality constraintin a similar way as in fluid
queuing networks.

Activities will be related to the following aspects:

1.- Modelling
2.- Analysis and verification
3.- Optimization of design (situation and size of buffers, equipment selection, …) and operation (control or scheduling)
4.- Development of adequate computer tools for the
modelling, analysis
and synthesis.

——————————————————————