In: Studies in Information Control, Vol. 8, No. 2, pages 139-154. 1999.
Abstract: Enterprise modeling is used to deal with the complexity of industrial world. However, most of the high-level enterprise models cannot easily deal with formal analysis. A method based on autonomous Petri nets, allowing to behaviorally analyze an enterprise process, is proposed in this paper. The study of qualitative properties, like liveness, boundedness and invariants, permits the detection and interpretation of some dysfunctionings of the modeled process.
Keywords: autonomous Petri nets, enterprise models, qualitative properties.