摘要：SPN给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型GSPNGeneralized stochastic petri nets,广义随机Petri网 其提出为缓解状态爆炸提供了一种途径，是SPN的一种扩充，状态空间较相同问题的SPN有所减少。 将transition分为两类：1、瞬时transition，与随机开关相关联 且实施延时为零；2、时间transition，与指数随机分布的实施延时相关联；SRNStochastic reward net,随机回报网 是GSPN的一种扩充 ，允许系统性能测量可以用回报定义形式表达。DSPNDeterminis 阅读全文

摘要：petri网中的可达树，可达图非常重要，现总结算法如下：Petri网可覆盖性树的构造算法1Petri网可覆盖性树的构造算法2 阅读全文

摘要：SPN：即给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型。一个SPN 同构于 一个连续时间MCSPN的每个Marking 映射成 MC的一个状态SPN的可达图 同构于 一个MC的状态空间构造SPN可达图和MC之间同构的关键因素：1、变迁实施速率的指数分布所导致的无记忆性；2、Marking的可数性；由SPN可达图->易得->MC转移速率矩阵的参数->故可算->MC的每个状态的稳定状态下的稳定概率->进而->分析一些性能指标 如 place中标记概率密度：反映系统部件的利用率； 变迁的利用：反映系统吞吐量和延时SPN 阅读全文

摘要：一 网与子网definition 1：网N = (S,T;F)1）S_元，库所，位置 -> place ->　圆圈2）T_元，变迁 ->　transition -> 矩形3）流关系 ->　flow relation -> 有向边definition 2：x的前集 or 输入集x的后集 or 输出集x的外延definition 3：1）纯网（pure net）:不含自环的网2）简单网（sample net）3）T-图（T-graph）4）S-图（S-graph）5）自由选择网（free-choice net）6）扩充的自由选择网（extended free-c 阅读全文

摘要：Abstract 在本文中，我们将介绍一种新技术，建模和求解具有复杂行为特征的系统的动态电源管理问题（dynamic power management），如并发，同步，相互排斥和冲突问题。我们将具有分布式电源管理的计算机系统建模为一个可控的广义随机Petri网（GSPN）。得到的GSPN模型自动转换为等效的连续时间markov决策过程。由于延迟的限制，系统元件的最佳电源管理策略以及请求的优化调度策略是在markov决策过程的基础上通过求解线性规划问题计算求得。实验结果表明，相比其他现有的DPM技术，该技术可以实现20％以上的节能。 阅读全文