Les systA]mes temps rA(c)el impliquent la prise en charge des contraintes temporelles diverses. Elles peuvent Aatre fortes ou faibles; exprimant des relations de synchronisation, de prioritA(c) voire de prA(c)emption temporelle. Par ailleurs, ces systA]mes peuvent nA(c)cessiter des ressources aussi bien critiques que non critiques. Nous explorons dans cette thA]se un modA]le gA(c)nA(c)ral basA(c) sur les rA(c)seaux de Petri temporels, permettant une prise en charge exhaustive de ces diffA(c)rentes contraintes. Ce modA]le appelA(c) STPTPN (synchronizing Transitions Preemptive Time Petri Net),...