For the most recent entries see the Petri Nets Newsletter.

Qualitative analysis of enterprise processes with autonomous Petri nets.

Coves, C.; Crestani, D.; Prunet, F.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography