论文部分内容阅读
提出了OWL—S过程模型的标签Petri网建模方法，给出了过程模型到LPN的转换规则，利用LPN分析方法对模型进行了可达性分析、死锁检测，能有效地检验过程模型描述的正确性。在OWL—S编辑器中嵌入该功能，完善了编辑器的功能。
基于标签Petri网的OWL-S建模与分析
【摘 要】
：
提出了OWL—S过程模型的标签Petri网建模方法，给出了过程模型到LPN的转换规则，利用LPN分析方法对模型进行了可达性分析、死锁检测，能有效地检验过程模型描述的正确性。在OWL—S
【机 构】
：
中国科学院计算所,联想研究院,中国科学院研究生院
【出 处】
：
计算机工程
【发表日期】
：
2007年7期
其他文献
前8月家电行业利润同增8.5%:工信部发布消息称,今年1至8月,全国家用电冰箱累计生产6581.5万台,同比增长11.6%;房间空气调节器累计生产13300.2万台,同比增长18.7%;家用洗衣机
针对GPS软件接收机提出一种跟踪部分的实现算法,该算法包括码跟踪和载波跟踪。在PC上用该算法进行模拟数据的Matlab仿真和真实数据C的实现,在集成ARCA3嵌入式微处理器的GT3000A平台上运行该程序。实验证明,该算法实现C/A码相位和载波频率的精确跟踪,并得到导航数据。
由美国次贷危机引发的国际金融危机给我国航运经济带来严重下滑的影响。以上海海事局的统计资料为例：2008年7月至11月，上海海事局办理船舶航次签证162146艘次．同比下降12．2％．环比下
企业社会责任(Corporate Social Responsibility,简称CSR)的概念已广被接受,虽然目前它在国际范围内还没有一个统一的定义。但,当今成功的中国企业已经对"企业公民"、"社会责
3月9-11日,2017年中国家电及消费电子博览会(AWE2017)在上海新国际博览中心盛大开幕,本届AWE,规模再次刷新纪录,展馆数量扩充至8个,吸引了超过700家来自全球的知名家电与消费
为研究钢管混凝土界面粘结机理,在已有试验基础上,从细观角度入手,建立钢管混凝土细观模型。基于蒙特卡洛方法和APDL语言建立随机骨料模型,骨料计算采用富勒级配曲线,钢管和
4月8日-11日,以“合作共赢,同护蓝天”为主题的2015中国制冷展在上海新国际博览中心成功举办。据了解,2015年“中国制冷展”展出面积超过10万平米,有来自全球30多个国家和地
2016年全国冷链物流市场需求将达到2200亿元,同比增长22.3%。2016年全国冷库预计新增305万吨,总量达到4015万吨(折合10037万立方米),同比增长8.2%。近年来,医药行业的快速发