论文部分内容阅读
在Petri网精化概念的基础上，给出一种解决Petri网结点爆炸问题的方法，该方法针对精化的定义，从库所和变迁的约束条件入手，分析结点精化的可行性和方法，并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。
Petri 网结点精化及其应用
【摘 要】
：
在Petri网精化概念的基础上，给出一种解决Petri网结点爆炸问题的方法，该方法针对精化的定义，从库所和变迁的约束条件入手，分析结点精化的可行性和方法，并给出证明。该方法的建立为
【机 构】
：
中国人民银行西宁中心支行
【出 处】
：
计算机与现代化
【发表日期】
：
2014年7期
其他文献
【正】 豆类锈病 由真菌侵染所致,病株叶片上生有黄褐色小疱,内有红褐色粉末。气温在20℃左右,高湿条件下,易发病。防治措施:初发现病叶时,可用50％萎锈灵可湿性粉剂1000倍液,
【正】 我省70年代发展的果树,目前正进入盛果期.由于当时具体条件的限制,大多数品种结果较晚,品质欠佳.为了适应当前市场对果品质量日益增高的要求.各地都在运用高接换种技
【正】 桃树应用多效唑,新建园当年定植,当年收益的栽植法,适用于家庭小果园。 一、选择优良桃品种按4×4米的永久植株定植桃园。 二、在4米的行间中,距永久株的两侧各l
与公有云不同，私有云大都由各个企业单独建立，因此如何对私有云的基础设施进行高效管理，真正实现资源的集中管理、按需分配成为企业搭建私有云平台时面临的挑战。本文提出一种基
【正】 竹荪——被誉为“真菌皇后”.据报道,1990～1991年全国产量150～200吨,但消费市场十分狭窄,每公斤价格由800～1200元降至100～150元。 人参——产品积压,价格下跌,一两年内难
综合协同过滤算法和基于网络结构算法，提出全新的混合推荐算法，在对象和对象的相似性基础上考虑了项目之间的作用关系，得到最终改进后的混合算法MIX。通过对数据集的计算，排序值
辅助维修系统中涉及大量数据资料的处理，而数字化文档的活页处理方式对维修保障提供了便利，本文结合脚本控制技术、加／解密技术、ActiveX插件，实现Web环境下的数字化资料的控制与
提出一种复合的MPPT算法,即以恒定电压法启动的自适应变步长的增量电导法。恒定电压法用来迅速跟踪近似最大功率点,变步长导纳增量法则用来进行精确跟踪,并在Matlab/Simulink
要把静态分析技术真正应用于软件工程的实践中,程序中的不可到达路径依旧是一个巨大的障碍。在缺乏不可到达路径信息的情况下,数据流信息只能以一种非常保守的方式被利用,因