In: Azéma, P.; Balbo, G.: Lecture Notes in Computer Science, Vol. 1248: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997, pages 367-386. Berlin, Germany: Springer-Verlag, June 1997.
Abstract: This paper presents a new use of safe Petri nets and its partial order semantics, in the field of telecommunication network management. Petri nets are used to provide both a model and an algorithm in fault management domain. First, a model of fault and alarm propagation, based on 1-safe Petri nets, is defined. Then an algorithm, based on net unfolding, is designed. This study leads to a generic supervisor, which can be easily distributed on a set of sensors.