Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool. - Jean Christophe Lloret; J. L. Roux; B. Algayres; M. Chamontin (Application and Theory of Petri Nets, 1992)