Un Calcul d'une Base de Flots pour les Reseaux Colores
暂无分享,去创建一个
Ce papier introduit un nouvelle théorie de calcul des flots pour une large sous-classe de réseaux colorés : les réseaux réguliers (R.R.). Leur paramétrisation permet d'étudier en même temps les flots pour tous les réseaux différant uniquement par la taille des domaines de couleur. L'étude de la structure algébrique de l'espace des flots fournit un théorème fondamental de décomposition qui conduit à un algorithme de calcul d'une base de flots pour un réseau régulier paramétré. Nous présentons aussi la modélisation d'un exemple classique et significatif -la gestion d'une base de données à copies multiplesavec les flots calculés et leur interprétation.
[1] Kurt Lautenbach,et al. S-Invariance in Predicate/Transition Nets , 1982, European Workshop on Applications and Theory of Petri Nets.
[2] Kurt Jensen. How to Find Invariants for Coloured Petri Nets , 1981, MFCS.
[3] Peter Huber,et al. Towards reachability trees for high-level Petri nets , 1985, European Workshop on Applications and Theory in Petri Nets.
[4] Wil M. P. van der Aalst,et al. Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.