Séminaires
Séminaire du 5 mars 2010
Lieu
IBISC: comment y aller
Programme
14h00-14h45: Guy Vidal-Naquet, UNiversité Paris-Sud et Supélec : "Observation et Coalgèbres"
Abstract: L'utilisation croissante de logiciels considérés non plus du point de vue de la manière dont ils ont été réalisés, mais de celui des résultats obsevables qu'ils produisent, est formalisée par les co-algèbres, notion catégorielle duale de la notion générale d'algèbre.
L'objet de cet exposé est de présenter cette méthode et quelques uns de ses concepts et résultats fondamentaux, notamment la notion de co-algèbre finale..
14h45-15h30 : Joerg Desel, Univ Eichstaett-Ingolstadt : "Weakly bounded Petri nets"
Abstract: A (finite) Petri net is weakly bounded if concurrent transition occurrences can be scheduled in such a way that with this restriction only finitely many markings are reachable. In this talk I will report on an application of this concept to schedulability of parallel programs on sequential hardware. Some structural necessary and/or sufficient conditions for schedulability are presented.
I will also report on work in progress in that area, in particular on characterizations of weakly bounded nets in terms of their partial order behaviour.