【摘 要】
：
最大速度恒定的连续Petri网（CCPN）是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri
【基金项目】
：
国家自然科学基金（61304074）资助
论文部分内容阅读
最大速度恒定的连续Petri网（CCPN）是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2;进而对含有效冲突且有界的CCPN,提出了演变图构造算法3,利用其演变图,可以对含有效冲突的CCPN进行性能分析。
其他文献
短信自动分类是短文本研究的热点问题。针对此问题,提出了关联强度和关联矩阵特征提取方法,并设计了基于关联矩阵的全监督学习算法。为了实现系统的自我学习,探讨了基于关联
针对无线移动传感器网络在目标区域的覆盖问题,提出了一种基于移动距离的局部分布式算法,利用Voronoi多边形的特征对目标区域进行有效的分割,运用力学的矢量概念,根据Voronoi
为实现防水性电子数显卡尺,提出一种用于调频式电涡流传感器的改进型电容三点式振荡电路,讨论电路各主要参数对振荡器电路起振特性、频率稳定性等性能的影响,结合Spice程序对
为了满足摩擦力扰动较大且扰动非线性明显的控制系统对良好控制品质的要求,文章对传统PID作了改进,提出了一种平滑微分变积分参数PID算法.理论和仿真研究以及在组合导航仿真