【摘 要】
：
讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，
【机 构】
：
广西师范学院北部湾环境演变与资源利用省部共建教育部重点实验室,嘉兴学院数理与信息工程学院
【基金项目】
：
广西高校科研一般资助项目(201203YB100);广西高校科研重点资助项目(2013ZD040);北部湾环境演变与资源利用省部共建教育部重点实验室资助项目(BBG1105);广西自然科学基金资助项目(2012GXNSFAA053218)
论文部分内容阅读
讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性进行了证明，并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。
其他文献
目的：通过对肾血管超声造影定量分析来反映肾瘀血情况,以此来评估胡桃夹综合征（NCS）。方法：收集2013年11月~2015年10月期间40例临床诊断为胡桃夹综合征患者（病变组）及40例健康人群（
传统的煤矿坑道液压钻机的传动系统,只能通过改变动力头减速器配对传动齿轮,利用不同的传动比实现钻机工作转速的调节,整个系统几乎属于定量系统,这样钻机在工作时不能根据被
腰椎退行性变的病理改变与MRI成像密切相关,MRI对腰椎退行性变的诊断尤其早期诊断优势明显,准确与早期诊断对治疗手段的选择意义重大。现就当前关于腰椎间盘退行性变的磁共振
应用Aspen Plus软件模拟计算一甲基三氯硅烷和二甲基二氯硅烷体系分离过程,考察了单塔精馏和三种双效精馏流程。在相同进料条件下,对比了不同流程的能耗与年度总费用。结果显
研究了以工业甲乙酮、液氨和氢气为原料,在改性兰尼镍(Raney-Ni)催化下,合成仲丁胺各种因素的影响.实验确定了最佳合成工艺参数,并同时提出了合成液的分离方法及条件.其最佳
文章通过简化的两变量二次回归试验设计法试验了硫化剂DCP和助硫化剂CAMV的用量对氯化聚乙烯橡胶（CM）物理性能的影响，研究了DCP和CAMV最佳配比及用量的确定。实验结果表明，DCP与C
当今时代标志已成为社会生活中不可缺少的视觉元素。我们每天都在接触不同类型的标志,比如食品标志、服装标志、产品标志、公司企业标志、汽车标志、活动会徽标志、个人标志
通过调查发现，外科医生在提供做决策的信息的问题上执行得较好；有些医生无论错误多么严重也不会把医疗错误披露出来；但是能够公开医生的经济奖励，这样医生的信任不但没有被损害，相
在回顾有关领导理论研究的基础上，提出了和谐管理领导力应具备3种特征：组织影响力、内在控制点的个性特征和管理技能。同时，发展了相应的测度和研究量表，通过对中国公司样本的研
实验动物和动物实验是生命科学,特别是现代医学研究中的重要条件和基础。随着我国实验动物科学和动物试验的迅速发展,实验动物兽医的需求越来越大。本文总结性的讨论了实验动