Specification and Design of Discrete Event Systems - 4EUS3SCE

Informations générales

  • Number of hours

    • Lectures 32.0
    • Projects -
    • Tutorials -
    • Internship -
    • Laboratory works 28.0
    • Written tests -

    ECTS

    ECTS 5.0

Goal(s)

Approach and tools for the specification of a complex industrial automation system and its design: structure and hierarchy, functional tools, Petri nets (their use in describing and analyzing systems), SFC (their use in the description of the command), optimization methods and scheduling resources.

Responsible(s)

Mireille JACOMINO

Content(s)

Introduction to automated manufacturing systems (AMS)
Tools for the design of industrial automation:
SFC:
• Rules of evolution
• Nature of activities
• Nature of receptivity
• Structuration of complex systems
• Implementation
Methods for the Design of Real Time Automation, SART:
• GEMMA
• Functional approach
• Concept of Events, (Trigger, Enable, Disable)
• Shared memory
• Centralization and / or distribution of control
• Definition of hardware interfaces
PETRI NETS:
• Sequential systems, state notions, parallelism, synchronization
• Petri nets, historical, autonomous networks, time delay, interpreted
• Validation, verification properties
• high level Petri nets
Graphs as Optimization tools
Scheduling :
• Notations, Representation of solutions and the concept of criterion
• Algorithmic complexity and complexity theory
• Algorithms list
• Notion of terminals and upper and lower
• Concept of greedy algorithm
• Concept of heuristics
• Branch & Bound

Prerequisites

M4, M6, M5 et M1

Test

Session 1
Final exam (ET1) :
In class assessment on Petri nets, graphs and scheduling. It will include a group session work and individual and individual distance tests during the sessions (50%).
Continuous assessment (CC1) :
in BE class on the Grafcet and supervision part concerning the automation of an industrial process (50%)

Session 2
Formal exam: half-hour individual interview on exercises that may cover the entire syllabus. The Session 2 mark (ET2) replaces the Session 1 mark (ET1).
Continuous assessment: the mark (CC1) is carried over to Session 2 and cannot be retaken.

Calendar

The course exists in the following branches:

  • Curriculum - Master's Degree in Engineering ASI - Semester 7
see the course schedule for 2026-2027

Additional Information

Course ID : 4EUS3SCE
Course language(s): FR

You can find this course among all other courses.

Bibliography

Du grafcet au réseau de Petri, René David, Hassane Alla, Librairie Eyrolles