Maurice Comlan unveils an innovative method to improve the reliability of discrete event systems using Petri nets

Maurice Comlan's thesis, defended at Mines Nantes, proposes a novel unfolding method to manage combinatorial explosion in discrete event systems, thereby improving their reliability. Completed in 2016, this research was conducted under a co-supervision agreement with the University of Abomey-Calavi in Benin, and aims to reduce critical errors in automated systems.

Petri nets are theoretical tools applied to discrete event systems, essential for automation and verification. Maurice Comlan's research addresses the verification and validation of these systems, which face combinatorial explosion problems, where a simple error can have disastrous consequences. Building a state graph is crucial for analyzing system behavior.

Comlan proposes unfolding, a technique that simplifies system analysis while preserving verifiability. By focusing on partial orders between events, this method reduces complexity, particularly for systems with reset arcs. Although no numerical results are available, identifying methods to mitigate combinatorial explosion represents a significant advance.

The implications of this research are strategic for decision-makers, as the application of Petri nets can improve the reliability of discrete event systems, thereby reducing costs linked to errors. Companies should adopt these methods to strengthen the security of their systems, while taking into account implementation challenges and resistance to change.

« "Unfolding makes it possible to manage combinatorial explosion while guaranteeing the verifiability of discrete event systems," notes Maurice Comlan. »

« "Access to innovative methods such as those proposed by Maurice Comlan is essential for decision-makers seeking to improve the reliability of critical systems," states the Lektaris team. »