切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于标签Petri网的OWL-S建模与分析
基于标签Petri网的OWL-S建模与分析
来源 :计算机工程 | 被引量 : 0次 | 上传用户:hudan913000
【摘 要】
:
提出了OWL—S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL—S
【作 者】
:
李景霞
肖政
侯紫峰
【机 构】
:
中国科学院计算所,联想研究院,中国科学院研究生院
【出 处】
:
计算机工程
【发表日期】
:
2007年7期
【关键词】
:
OWL—S过程模型
标签Petri网
可达性
死锁
Petri网标记语言
OWL-S process model Labelled Petri net Reac
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了OWL—S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL—S编辑器中嵌入该功能,完善了编辑器的功能。
其他文献
2017智能制造试点示范项目名单公布
前8月家电行业利润同增8.5%:工信部发布消息称,今年1至8月,全国家用电冰箱累计生产6581.5万台,同比增长11.6%;房间空气调节器累计生产13300.2万台,同比增长18.7%;家用洗衣机
期刊
示范项目
智能制造
房间空气调节器
名单
家电行业
家用电冰箱
家用洗衣机
出口交货值
基于Matlab/C的GPS软件接收机跟踪算法
针对GPS软件接收机提出一种跟踪部分的实现算法,该算法包括码跟踪和载波跟踪。在PC上用该算法进行模拟数据的Matlab仿真和真实数据C的实现,在集成ARCA3嵌入式微处理器的GT3000A平台上运行该程序。实验证明,该算法实现C/A码相位和载波频率的精确跟踪,并得到导航数据。
期刊
GPS软件接收机
码跟踪
载波跟踪
ARCA3嵌入式微处理器
GPS software receiver code tracking carrier track
以危为机:海事管理在本轮金融危机中的发展新机遇
由美国次贷危机引发的国际金融危机给我国航运经济带来严重下滑的影响。以上海海事局的统计资料为例:2008年7月至11月,上海海事局办理船舶航次签证162146艘次.同比下降12.2%.环比下
期刊
金融危机
海事管理
长江口深水航道
集装箱吞吐量
统计资料
港口堆场
海事局
经济带
中国交通建设集团:担起“企业公民”的社会责任——服务农村公路建设
企业社会责任(Corporate Social Responsibility,简称CSR)的概念已广被接受,虽然目前它在国际范围内还没有一个统一的定义。但,当今成功的中国企业已经对"企业公民"、"社会责
期刊
农村公路建设
社会责任
交通建设
中国企业
新农村建设
集团
国有企业
增加农民收入
社会主义
重要组成部分
AWE2017智能生态产业受关注
3月9-11日,2017年中国家电及消费电子博览会(AWE2017)在上海新国际博览中心盛大开幕,本届AWE,规模再次刷新纪录,展馆数量扩充至8个,吸引了超过700家来自全球的知名家电与消费
期刊
生态产业
上海新国际博览中心
智能
消费电子
博览会
AWE
英特尔
互联网
《光学与光电技术》征稿细则
期刊
钢与混凝土粘结机理细观分析研究
为研究钢管混凝土界面粘结机理,在已有试验基础上,从细观角度入手,建立钢管混凝土细观模型。基于蒙特卡洛方法和APDL语言建立随机骨料模型,骨料计算采用富勒级配曲线,钢管和
期刊
钢管混凝土
细观模型
随机骨料
界面粘结机理
数值模拟
concrete-filled steel tubemeso-modelrandom aggregate
2015制冷展:多方合作 共倡绿色节能
4月8日-11日,以“合作共赢,同护蓝天”为主题的2015中国制冷展在上海新国际博览中心成功举办。据了解,2015年“中国制冷展”展出面积超过10万平米,有来自全球30多个国家和地
期刊
多方合作
绿色节能
中国制冷展
知名品牌
暖通空调
专业观众
合作共赢
制冷
冷链物流市场需求带动制冷设备行业
2016年全国冷链物流市场需求将达到2200亿元,同比增长22.3%。2016年全国冷库预计新增305万吨,总量达到4015万吨(折合10037万立方米),同比增长8.2%。近年来,医药行业的快速发
期刊
冷链物流
制冷设备
市场需求
生产企业
医药行业
变暖趋势
制冷行业
医药领域
2008年上半年集装箱运输市场回顾与下半年展望
一、太平洋航线(一)货量总体回落从各方面信息综合分析可以看出,在美国经济受次贷影响、美元迅速贬值、中国国内生产成本快速上升、中国国内出口退税减少以及雪灾、地震等因
期刊
俄罗斯
航线
集装箱运输
集装箱吞吐量
印度
美元
太平洋
上半年
经济增长
巴西
与本文相关的学术论文