论文部分内容阅读
提出了OWL—S过程模型的标签Petri网建模方法，给出了过程模型到LPN的转换规则，利用LPN分析方法对模型进行了可达性分析、死锁检测，能有效地检验过程模型描述的正确性。在OWL—S编辑器中嵌入该功能，完善了编辑器的功能。
基于标签Petri网的OWL-S建模与分析
【摘 要】
：
提出了OWL—S过程模型的标签Petri网建模方法，给出了过程模型到LPN的转换规则，利用LPN分析方法对模型进行了可达性分析、死锁检测，能有效地检验过程模型描述的正确性。在OWL—S
【机 构】
：
中国科学院计算所,联想研究院,中国科学院研究生院
【出 处】
：
计算机工程
【发表日期】
：
2007年7期
其他文献
针对GPS软件接收机提出一种跟踪部分的实现算法,该算法包括码跟踪和载波跟踪。在PC上用该算法进行模拟数据的Matlab仿真和真实数据C的实现,在集成ARCA3嵌入式微处理器的GT3000A平台上运行该程序。实验证明,该算法实现C/A码相位和载波频率的精确跟踪,并得到导航数据。
为研究钢管混凝土界面粘结机理,在已有试验基础上,从细观角度入手,建立钢管混凝土细观模型。基于蒙特卡洛方法和APDL语言建立随机骨料模型,骨料计算采用富勒级配曲线,钢管和