@inbook {ICEzCoSi93, title = {A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets}, booktitle = {Advances in Petri Nets}, volume = {674}, year = {1993}, pages = {126-147}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, address = {Berlin}, author = {J. Ezpeleta and J.M. Couvreur and M. Silva}, editor = {G. Rozenberg} }