@article{陈东_2833, author = {[陈东, 陈晓亮, 宋文]}, title = {基于Petri网B/S体系架构的在线评测系统建模与验证}, publisher = {《计算机应用》唯一官方网站}, year = {2009}, journal = {计算机应用}, volume = {29}, number = {10}, eid = {2833}, pages = {2833-2837}, keywords = {Petri网;在线评测;B/S架构;P/T系统;S_不变量}, url = http://www.joca.cn/CN/abstract/article_12300.shtml }