Petri net-based representation of rules and verification of consistency

来源 :哈尔滨工业大学学报:英文版 | 被引量 : 0次 | 上传用户:xfzou32
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this application with a typical example.
其他文献
摘 要:钢结构工程因其单体构件吊装高度较高,起重量较大,所以给施工监理和施工安全管理带来很大的难度。开滦建设集团土建分公司在施工中采用科学组织,严格管理的方法,克服了大型钢结构起吊难度,实现了整个吊装施工过程零事故,主体工程质量一次验收合格的可喜成果。  关键词:钢结构 吊装 安全生产  中图分类号:TU758.11 文献标识码:A 文章编号:1672-3791(2011)01(b)-0123-0
Fibrous Batium Titanate particles,30-50 μm long,prepared by a hydrothermal reaction,and the monoclinic phase and nanometer Zirconia,11.6 nm long were prepared
为了寻找具有药理活性的喹啉衍生物,我们合成了五个新的喹啉衍生物和十一个7,8-亚甲二氧基-4-氧代-3,4-二氢嘧啶并[4,5-b]喹啉衍生物,这些合物的结构均经核磁共振光谱,红外光谱和元素分析予以证实。
A new uncertain information model, i.e. unascertainment, which is different from randomness,fuzziness and grayness, has been introduced into information fusion
【正】 近年来,一些大企业和集团公司,在建立起有效的内部运行机制之后,以价值形态为核心的资本运营已成为现代企业家考虑的重大问题。实物形态和价值形态的管理既密切联系又
六名少年在去年万圣节的晚上开车回家时发生了车祸,为了逃避责任,他们选择逃离了现场。然而一年之后.一位自称知道他们的事的连环杀手,开始走进他们的生活…
笔者针对国内31家省级公共图书馆0~3岁婴幼儿阅读服务做出调查.根据这些公共图书馆0~3岁婴幼儿阅读推广的基本情况,分析存在的问题,提出推进0~3岁婴幼儿早期阅读的建议。
<正>赵亚军男,1968年2月生于陕西宝鸡。无党派。动物社会行为研究的青年学者,主要领域为啮齿动物的亲属识别和基于行为量化的畜禽动物福利。1991年7月和1994年7月均毕业于陕
期刊
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield