Informations
Directeur de thèse :
Université :
Université Constantine 2
Soutenance
Date de soutenance :
29 Mai 2016
Membres de Jury :
Allaoua Chaoui
Djamel Eddine Saidouni
Nadia Zeghib
Youcef Hammal
Larbi Sekhri
Détails
Titre :
Définition de la sémantique de maximalité pour les réseaux de Petri récursifs et la relation de bissimulation de maximalité agrégée
Title:
Behavioural verification of extended Petri nets under a maximality semantics