Editors W

E. Roubtsova. Property specification for Coloured Petri Nets. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC2004), Editors W.Thissen, P.Wieringa, M.Pantic, M.Ludema, IEEE Catalog Number 04CH37583C, ISBN 0-7803-8567-5, October 10-13 2004, The Hague, The Netherlands, 2004.

2004