A proposition for risk analysis in manufacturing and enterprise modeling domain.
Résumé
This article presents a work in progress, which aims at associating a systemic reference modeling approach with formal verification concepts in order to improve the user's toolbox concerning risk analysis. This approach is here applied to a manufacturing process.