Professional Activities

• Organization committee member for Petri Nets '93, 14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois, June, 1993.
• Program committee member for ICCI'93 Fifth International Conference on Computing and Information, Sudbury, Ontario, May, 1993.

• Program committee member for IWSSD-7 IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California, December, 1993.

• Program committee member for IWSSD-8 IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany, March, 1996.