Modélisation et analyse des systèmes discrets