论文部分内容阅读
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T．图具有汇合性质，讨论共享合成与同步合成操作对Petri网汇合性质的保持性，得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性质。通过一个具有汇合性质的复杂网系统实例验证该结论。
几种满足汇合性质的Petri网子类
【摘 要】
：
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T．图具有汇合性质，讨论共享合成与同步合成操作对Petri网汇合性质的保持性，得出由上述简单的Petri网子类
【机 构】
：
山东科技大学信息科学与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2009年4期
【基金项目】
：
国家自然科学基金资助项目（60673053,60603090）,山东省优秀中青年科学家奖励基金资助项目（2006BS01019）
其他文献
由于近年来食品安全事故频发,严重威胁人们的饮食安全,因此为确保食品安全,建立从田间到餐桌的全程监管制度迫在眉睫。基于农产品供应链的农产品安全追溯系统进入公众的视野,农产品安全追溯系统具有信息导入、信息采集和信息共享的作用,打破农产品供应链上的信息不对称,使得民众能快速了解产品的信息。对于某些产品,追溯系统可以精确追踪到个体单位,但该系统不能对生产或加工过程经历复杂拆分和组合的批次进行追溯,而且溯源
对Douglas-Peucker矢量图压缩算法存在的不足进行改进,在此基础上提出一种抗压缩的矢量地图水印算法。该算法选择矢量地图的顶点坐标作为水印载体,采用改进的Douglas-Peucker算法对冗余顶点进行压缩,利用压缩后的顶点数据嵌入水印。实验结果表明,该水印算法具有较好的抗压缩效果。
采用改进过的布里奇曼法成功地生长了Tm^3＋离子浓度从0.5~4mol%变化的高质量Na5Lu9F32单晶.在790nm LD激发下,研究了不同Tm^3＋掺杂晶体在1.86μm波段的荧光发射性能、衰减曲线
以人机工程学测试为目标提出虚拟手仿真模型，建立虚拟手运动学模型。提出一种曲线拟合的校准方法，以获取精确的数据，更好地控制虚拟手的运动。建立弹簧模型计算手与被抓取物体之
太行山北段是我国东部中生代大规模岩浆活动的集中区,研究区中生代中酸性侵入岩沿大断裂呈串珠状以岩体形态产出,基性岩则多以岩脉的形式沿乌龙沟断裂两侧发育。近年来这些岩
关于脑血流的影响因素,研究较多,文献报道也很多,脑血管阻力和脑血流量成反比,即脑血管阻力增加时,脑血流量减少,反之亦然.影响脑血管阻力最大的因素是脑小动脉管径的大小,且
基于最大运算Max以及带参数ξ的t-模Tξ的模糊关系合成,提出一种参数化的广义模糊联想记忆网络Max-TξFAM及一种有效学习算法。由于Tξ中参数ξ的作用,在应用中Max-TξFAM有