For the most recent entries see the
Petri Nets Newsletter.
Une categorie reguliere de reseau de Petri de haut niveau: definition, proprietes et reductions, application a la validation de systemes distribues.
Haddad, S.
Thesis, Univ. Paris, France,
1987.
Abstract:
Developpement d'une theorie des reseaux reguliers (qui permettent
l'analyse directe des reseaux colores), fondee sur trois outils
complementaires: la construction d'un graphe de marquages symboliques, le
calcul des invariants lineaires et la definition de l'ensemble des
reductions.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography