*For the most recent entries see the
Petri Nets Newsletter.*

## An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.

Barkaoui, K.;
Dutheillet, C.;
Haddad, S.
In:
Ajmone Marsan, M.: *Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA*, pages 69-88.
Springer-Verlag,
1993.

Abstract:
In this paper, we present an algorithm to compute structural deadlocks in
colored nets under specified conditions. Instead of applying the ordinary
algorithm on the unfolded Petri net, our algorithm takes advantage of the
structure of the color functions. It is obtained by iterative
optimizations of the ordinary algorithm. Each optimization is specified by
a meta-rule, whose application is detected during the computation of the
algorithm. The application of such meta-rules speeds up a step of the
algorithm with a factor proportional to the size of a color domain. We
illustrate the efficiency of this algorithm compared to the classical
approach on a colored net modelling the dining philosophers problem.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*