@article {RP-98-02, title = {Distributed control systems simulation using high level Petri nets}, journal = {Mathematics and Computers in Simulation}, volume = {46}, year = {1998}, pages = {47-55}, author = {F. Tricas and J. Mart{\'\i}nez} }