第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知

由中国计算机学会Petri网专业委员会主办的第十次全国Petri网学术年会暨形式化方法学术讨论会将于2005年10月在镇江召开(江苏大学承办)，会议将对Petri网理论及应用，以及并行处理的形式化方法开展广泛、深入的讨论。现发出征文通知。