Instructions conditionnelles et ordonnancement des systèmes temps-réel: Modélisation et ordonnancement de la sémantique des applications temps-réel en utilisant les réseaux de Petri (Omn.Pres.Franc.)