In: L. Bocchi and P. Ciancarini (Eds.): Proceedings of the First International Workshop on Petri Nets and Coordination (PNC04), Satellite Event of the 25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21, 2004, pages 87-101. June 2004.