Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Laboratoire Universitaire de Recherche en Production Automatisée | Researchclopedia
Back to institutions
Laboratoire Universitaire de Recherche en Production Automatisée
Gif-sur-Yvette
facility
Website
Top Researchers
View all
Recent Research
View all
Advanced Measurement and Metrology Techniques
Formal Methods in Verification
Additive Manufacturing and 3D Printing Technologies
Advanced machining processes and optimization
Additive Manufacturing Materials and Processes
Flexible and Reconfigurable Manufacturing Systems
Advanced Surface Polishing Techniques
Software Reliability and Analysis Research
Fault Detection and Control Systems
Serge Bénichou
Centre National de la Recherche Scientifique
112 works
6,449 citations
h-index: 45
Formal solution for the generalized mutual exclusion contraints problem in a class of timed Petri nets.
Rajah, Jihene
,
Amari, Said
2026
0 citations