“基于Petri网的协议工程及并发系统建模”学术研讨会

中国计算机学会Petri网专业委员会和西安电子科技大学定于2008年6月在国际会议Petri Nets 2008（29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency）会议期间，联合举办“基于Petri网的协议工程及并发系统建模”学术研讨会，这是我国计算机界Petri网和并发系统领域的一项重要的学术交流活动。 此次研讨会由西安电子科技大学计算理论与技术研究所承办，于2008年6月23日至24日在陕西西安举行。本次研讨会拟采用中文，正式录用的论文会后由《计算机科学与探索》正文发表，并选出3－5篇优秀论文推荐给W&T会后文集（Joint Post-proceedings），由Springer Verlag出版，欢迎踊跃投稿。