Decidibilidad de problemas sobre redes de petri temporizadas.

Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas. […]

, , , , ,