@book {RP-87-02, title = {Packages for validating discrete production systems modelled with Petri nets}, year = {1987}, pages = {529-536}, publisher = {North Holland Publishers Co.}, organization = {North Holland Publishers Co.}, author = {J. Mart{\'\i}nez and M. Silva}, editor = {S.G. Tzafestas} }