Application and theory of Petri Nets 1994 : 15th International Conference, Zaragona, Spain, June 20-24, 1994 : proceedings - Valette, Robert (Springer, 1994)