【摘要】本文选取汉语框架语义知识库中的框架信息作为情境知识的内容来源,采用善于处理异步状态变迁和并发事件的计算机语言Petri网对其进行形式化表示,使之成为计算机可读、可理解的情境知识资源,从而有利于实现智能化语义推理功能。