夏传良,教授。中国科学院数学与系统科学研究院计算机软件与理论专业博士毕业,中国科学院软件研究所计算机科学国家重点实验室博士后,中国计算机学会高级会员,Petri网专业委员会委员。研究方向是Petri网理论与应用、并发实时系统的设计和验证。近年来,先后在Journal of Computers, Journal of Networks , Mathematical Structures In Computer Science, 软件学报,系统仿真学报等国内外重要期刊和国际会议上发表论文60余篇,其中SCI、EI收录20余篇。