【摘 要】
：
Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成
【机 构】
：
同济大学电子与信息工程学院,同济大学教育部嵌入式系统与服务计算重点实验室,同济大学上海市电子交易与信息服务协同创新中心
【基金项目】
：
国家自然科学基金面上项目(No.61672381),中央高校基本科研业务费专项资金重点项目(No.22120180508)资助
论文部分内容阅读
Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.
其他文献
本文将弓形体病毒ＩｇＭ抗体型居细胞病毒ＩｇＭ抗体、风疹病毒ＩｇＭ抗体、单纯疱疹病毒Ⅱ型ＩｇＭ抗体（ＴＯＲＣＨ）列入孕期常规检查并用ＥＬＩＳＡ技术进行测定，所测阳性率依次为０．９４％、０．８６％、０．９４％、２．０４％。待测标本均经双盲法检测，证实ＥＬＩＳＡ方法的
目的探讨应用利伐沙班预防髋部骨折手术后深静脉血栓（DVT）形成的疗效。方法选取自2011年6月至2012年7月我院髋部骨折手术患者40例，术后6h内开始使用利伐沙班10mg，口服，1次／d，应用10d
本文对39例消化道畸形儿采用1：1配比作畸危险因素分析。结果表明39例消化道畸形儿围产风险是早产、低体重、消化道畸形与畸形家族史有关，与母孕产失败史有关，与孕期父嗜烟、酒、
Potassium is one of the most important nutrients for rice production in many areas of Asia, especially in southeast China where potassium deficiency in soil is
糖尿病肾病患者常呈现早期松弛障碍或者假性正常化充盈,与年龄组的正常人生理性变化难以区别,限制了对患者心脏舒张功能的评价。有学者[1,2]指出,E/Em可能是反映左室舒张功能
非线性效应限制是高速可见光通信系统性能提升的一大瓶颈问题,为此提出将支持向量机(support vector machine, SVM)监督学习算法应用于几何整形可见光通信系统接收信号星座点
数据稀疏性是推荐系统中严重影响推荐结果准确性的重要因素之一.针对数据稀疏性提出了融合卷积神经网络(convolutional neural network, CNN)和降噪自编码(denoising auto-en
总部位于新加坡的拆船现金买家、Wirana航运公司的法律顾问Shashank Agrawal先生表示，印度大多数的拆船业者支持国际上推行的提高拆船行业标准的举措。Agrawal先生适逢印度司
本文用ＥＬＩＳＡ方法和ＰＣＲ技术对６５名智力低下儿童及其母亲外周血弓形虫、先天性风疹病毒和巨细胞病毒进行了检测。结果显示其弓形虫感染率为５５．３８％，巨细胞病毒感染率为９．２３％，先天性风疹病毒感染率为７．６９％。结
用ＰＣＲ技术同时检测３０例胎膜早破（ＰＲＯＭ）和２２例非胎膜早破（ＮＰＲＯＭ）的新生儿咽吸出物、胎盘组织及脐静脉血清中解脲支原体（Ｕｎ）感染率，发现ＰＲＯＭ组咽吸出物Ｕｕ阳性率为３６．６７％，ＮＰＲＯＭ组咽吸出物Ｕｕ阳率为９．０９％，差异显著（Ｐ〈０．０５）。胎盘，脐血中Ｕｕ阳性率