共查询到16条相似文献，搜索用时 187 毫秒
1.
基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对通信协议建模和分析的理想工具．通过对计算机网络通信中的停止一等待协议的描述．提出一个基于Petri网的停止等待协议的形式建模． 相似文献
2.
于汪洋 《湖南农业大学学报(自然科学版)》2009,(3)
时间是反映工作流性能的一个重要方面, 立足于实际业务过程对工作流系统时间管理功能的需求, 尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,提出一种新的工作流建模工具TPWF-NET(Timed Places WorkFlow-Net),并给出结构完整性的验证方法. 相似文献
3.
Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例. 相似文献
4.
工作流管理技术是20世纪90年代初新兴起的软件技术，其实现的关键在于工作流概念模型的建立。论文选择赋时Colored Petri网(Timed Colored Petri Net)作为工作流建模的主要工具，为了实现用Petri网来建立工作流模型，对petri网做了适当的扩展以适应模型管理。最后通过1个案例进一步阐述了基于Petri网的工作流建模技术。 相似文献
5.
Petri网中S不变量和T不变量的算法 总被引：1，自引：0，他引：1
邵金平 《山东农业大学学报(自然科学版)》2008,39(3)
在Petri网中,不变量、虹吸和陷阱的求解是一个重要的问题,本文拟用数学方法-矩阵变换和数理逻辑两种方法进行探讨.根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法. 相似文献
6.
提出任务调度问题的Petri网模型及其构造方法,给出了求解该Petri网模型的主任务线的方法,提出了并发段的概念,在此基础上计算出该任务调度问题所需处理机的最小台数. 相似文献
7.
8.
活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。 相似文献
9.
Ｐｅｔｒｉ网是用于描述和分析异步并发系统的最常用的形式模型之一．本文给出了赋时着色Ｐｅｔｒｉ网和赋时连续Ｐｅｔｒｉ网,通过扩展上述模型,得到具有层次的Ｐｅｔｒｉ网．探讨了层次结构Ｐｅｔｒｉ网在现代食品工业企业中的应用,包括生产线的建模和分析,以及后勤系统的设计． 相似文献
10.
秦奋涛 《河北北方学院学报(自然科学版)》2005,21(1):24-25
优先级策略是最常用的资源分配方案，分析了优先级策略的不足，在此基础上，提出了一种临界值优先级资源分配方案，并建立了它的Petri网模型。 相似文献
11.
针对船舶电力系统的特点，采用一种启发式电力网络进行拓扑分析模型建立以确定电力系统网络拓扑，在此基础上借鉴电力系统故障诊断的方法,采用Petri网技术对电网进行故障定位以及对不确定信号的诊断与排除，对拓扑分析结果进行修正，以保证拓扑分析的正确性。最后以典型船舶电力系统网络为例，验证了该方法的有效性。 相似文献
12.
1920年代旧派文人的都市言情小说对古代“士子和青楼妓女”和“才子佳人”两大言情模式既有沿袭又有变异：前者从晚清民初对都市恶性的审美体验中挣脱出来，对妓女产生人道主义同情，出现了和“才子佳人”言情传统合流的趋势；后者聚焦于真情难觅的“哀情”和在都市金钱主义和新思潮驱使下萌生的种种“怪情”，写世俗、平庸的男女之情。 相似文献
13.
诱导大豆疫霉菌大量产生游动孢子囊的最佳方法研究 总被引：2，自引：0，他引：2
大豆疫霉菌(Phytophthora sojae)是疫霉菌中难在培养条件下形成孢子囊的菌种之一。对诱发大豆疫霉菌产生游动孢子囊的10种方法进行比较研究,结果表明,供试的10种方法除了MSS溶液法外均能诱发产生游动孢子囊,其中以土壤浸出液法和皮氏液加土壤浸出液法效果最佳,产孢量大,所需的时间最短,游动孢子囊成熟度一致,且能一次性释放出游动孢子,从而成功地解决了大豆疫霉菌产生孢子囊难这一重要问题。 相似文献
14.
针对经济系统内广泛存在非线性以及传统方法对经济系统预测精度的不足,建立了基于自适应神经模糊推理系统的国内工业总产值预测模型,计算结果表明,无论是在对训练数据拟合还是对测试数据预测方面本模型都具有较高的精度;最后应用所建模型,预测了今后若干年国内工业总产值. 相似文献
15.
棉花红铃虫管理专家系统是一个集预测、诊断与咨询于一体的复杂系统,可直接指导农民生产实践.该专家系统将数学模型、历史数据资料和专家实践经验知识融为一体,采用PROLOG与C语言的接口.知识库知识采用带有变量的知识表示.系统由数据资料管理模块、知识库、模型库、推理机、知识获取模块、解释机构和人机接口所组成.经实践验证预测害虫发生准确率达90％以上. 相似文献