论文部分内容阅读
为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.
两段提交协议的Petri网模型
【摘 要】
：
为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.
【机 构】
：
福州大学数学与计算机科学学院
【出 处】
：
福州大学学报(自然科学版)
【发表日期】
：
2003年6期
其他文献
鸡支原体病又称霉形体病，是由鸡败血支原体引起的一种高度接触性传染病，以咳嗽、流鼻液、呼吸道啰音和张口呼吸为特征。该病是一种条件性传染病，一年四季均可发生，尤以气候突变、
感染是导致白血病患者死亡的主要原因之一，免疫缺陷患者发生感染尤其是院内感染愈来愈受到重视。现就我院1994～1998年间28例急性白血病(AL)住院患者并发感染的观察及对策报道如
期刊
中晚期消化道恶性肿瘤患者手术及放疗治疗效果不佳，自1995年以来，我们应用胃镜下局部注射磁性抗癌药导向治疗，中晚期食管、贲门、胃癌43例，取得良好效果，现报道如下。1 临床资料
羊肝片吸虫病又名羊肝蛭病,是由肝片吸虫引起的羊寄生虫病。一年四季均可发生,春秋季尤为严重。现将一起黑山羊肝片吸虫病的诊治情况报道如下。
淡水鲨鱼是白苏氏园腹鲑的俗称，隶属硬骨鱼纲，鲶形目，(鱼芒)科，(鱼芒)属。主要分布于东南亚一带，是泰国、马来西亚等地的优良淡水养殖鱼类。有黑、白二种体色，黑色的俗称淡水蓝鲨，原
古田黑番鸭，又称瘤头鸭，是古田县地方优良品种，全县年饲养量约10万羽。随着人民生活水平的提高，饲养黑番鸭也由过去的农家散养发展到现在的规模饲养（一般每户每批饲养300～500羽）。提
胃癌是我国最常见的消化道肿瘤，近年虽有下降趋势，但仍占恶性肿瘤病死率首位，浸润和转移是死亡的主要原因，也是临床治疗失败的关键。所以多年来探讨胃癌转移的分子机制，寻找与胃癌
天津市人民瞩目的天津市中心城区“一主两副”规划设计方案等六大规划设计方案公示活动最近圆满结束。规划部门经过一段时间的紧张工作，六大规划设计方案征求意见建议的梳理归