Enterprise modelling is used to deal with the complexity of industrial world. However, most of the high level enterprise models cannot easily deal with formal analysis. In this paper a method based on autonomous Petri nets allowing to behaviorally analyze an enterprise process is proposed. The study of qualitative properties Like liveness, boundedness and invariants, permits the detection and interpretation of some dysfunctionings of the modeled process.
enterprise modelling, enterprise process, autonomous Petri nets, qualitative analysis
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).