TCPN的状态可达及可调度决策空间算法 被引量：3

1

作者 杨根科 曾建潮 孙国基 《计算机学报》 EI CSCD 北大核心 1998年第1期34-39,共6页

Tsai等提出了时间限制Petri网（TCPN），并讨论变迁可激活、可调度规律及其计算公式．然而，由于网拓扑和动态的复杂性，某些概念的逻辑关系及公式有矛盾．本文通过引入调度决策变量、动态标记准确地刻画调度规律，修正澄清了Tsai文中... Tsai等提出了时间限制Petri网（TCPN），并讨论变迁可激活、可调度规律及其计算公式．然而，由于网拓扑和动态的复杂性，某些概念的逻辑关系及公式有矛盾．本文通过引入调度决策变量、动态标记准确地刻画调度规律，修正澄清了Tsai文中的问题，完善了TCPN的调度分析．另外，讨论了TCPN沿含有失败变迁激活路径的调度问题， 展开更多

关键词 PETRI网 决策变量 tcpn 决策空间 算法

在线阅读 下载PDF 职称材料

TCPN的分布式仿真方法

2

作者 杨根科 孙国基 曾建潮 《系统仿真学报》 CAS CSCD 1997年第3期61-67,共7页

时间限制Ｐｅｔｒｉ网容许对建模系统对象反映其资源和活动的有效期特性，其特殊的仿真模型要求能够描述令牌空闲、被占用、被释放、被移出和已死各种状态。本文对库所和变迁节点进行了模块化分解，拓宽了ＴＣＰＮ的建模能力。在此基础上。

关键词 PETRI 分布式仿真 并行处理 tcpn

在线阅读 下载PDF 职称材料

基于图规约法的TCPN工作流网模型的验证方法 被引量：2

3

作者 刘惠义 吴继锋 曾晓勤 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第10期2976-2979,2983,共5页

针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-PetriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并... 针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-PetriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并对这些规则进行了证明。在此基础上,运用这些规则对复杂工作流模型的算例进行逐步规约,验证了模型的合理性。 展开更多

关键词 图规约 赋时着色PETRI网 工作流网 模型验证

在线阅读 下载PDF 职称材料

基于TCPN的毕业设计选题流程建模与应用 被引量：2

4

作者 田燕 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第7期820-824,共5页

文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理... 文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理系统进行改进,系统运行稳定,选题工作效率得到提升。基于TCPN的建模方法可以为毕业设计选题流程的改进、优化提供决策支持和参考。 展开更多

关键词 毕业设计选题流程 赋时着色PETRI网 审核题目 申请题目 系统初审 系统排序

在线阅读 下载PDF 职称材料

基于链表遍历模式的TCPN映射算法研究

5

作者 张希伟 俞佳 《计算机工程与设计》 CSCD 北大核心 2008年第16期4204-4206,共3页

对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链... 对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法。重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例。 展开更多

关键词 赋时着色PETRI网 工作流网 链表遍历 有向图 映射算法

在线阅读 下载PDF 职称材料

基于TCPN的LBS动态服务组合建模与验证 被引量：3

6

作者 赵晓华 李卫民 辛明军 《小型微型计算机系统》 CSCD 北大核心 2013年第1期96-99,共4页

针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行... 针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性. 展开更多

关键词 位置服务 时间约束PETRI网 动态服务组合 可达性验证

在线阅读 下载PDF 职称材料

基于TCPN的TCP协议形式化描述 被引量：1

7

作者 何中阳 李鸥 +1 位作者 杨白薇 刘洋 《计算机工程》 CAS CSCD 北大核心 2011年第18期77-80,共4页

提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际... 提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。 展开更多

关键词 TCP协议 赋时着色PETRI网 形式化描述 有界性 活性

在线阅读 下载PDF 职称材料

时间约束Petri网及其可调度性分析与验证 被引量：21

8

作者 宋巍 窦万春 刘茜萍 《软件学报》 EI CSCD 北大核心 2007年第1期11-21,共11页

时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强... 时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值. 展开更多

关键词 时间相关Petd网 tcpn 弱可调度 强可调度 可调度性分析

在线阅读 下载PDF 职称材料

铁辊车间生产物流系统的优化与仿真 被引量：4

9

作者 赵晶英 陈英俊 《现代制造工程》 CSCD 北大核心 2012年第2期61-66,共6页

在分析铁辊车间生产物流系统现状的基础上,运用系统布置设计和系统搬运分析方法对物流系统进行了优化,并构建了优化方案的TCPN动态模型,使用Witness仿真软件对优化方案的运行过程进行了模拟。仿真结果表明,铁辊车间每班次的产量比优化... 在分析铁辊车间生产物流系统现状的基础上,运用系统布置设计和系统搬运分析方法对物流系统进行了优化,并构建了优化方案的TCPN动态模型,使用Witness仿真软件对优化方案的运行过程进行了模拟。仿真结果表明,铁辊车间每班次的产量比优化之前提高10.9%,物流不再是该车间的生产瓶颈。铁辊车间还存在的问题是该车间处于较明显的生产不平衡状态,仿真结果为进一步提高铁辊车间的生产效率指明了方向。 展开更多

关键词 WITNESS仿真 PETRI网 tcpn模型 生产物流系统 铁辊车间

在线阅读 下载PDF 职称材料

基于RFID的汽车总装物料配送过程的Petri网建模与仿真 被引量：9

10

作者 梁昌勇 徐彬 +1 位作者 俞家文 王沙沙 《机械设计与制造》 北大核心 2009年第9期203-205,共3页

分析准时化生产环境下汽车制造企业总装现场物料配送过程。将射频识别技术融入准时化生产管理模式,研究了基于射频识别技术且与装配流程协同运作的总装现场物料配送过程。用赋时着色Petri网对该过程建立模型并进行仿真分析,所获得的结... 分析准时化生产环境下汽车制造企业总装现场物料配送过程。将射频识别技术融入准时化生产管理模式,研究了基于射频识别技术且与装配流程协同运作的总装现场物料配送过程。用赋时着色Petri网对该过程建立模型并进行仿真分析,所获得的结果可为描述与分析基于射频识别技术的汽车总装现场物流配送过程提供一定的参考和依据。 展开更多

关键词 准时化 RFID 总装 物料配送 赋时着色PETRI网

在线阅读 下载PDF 职称材料

访问授权任务依赖关系及其Petri网分析 被引量：1

11

作者 王小明 赵宗涛 冯德民 《计算机科学》 CSCD 北大核心 2002年第10期88-91,共4页

1 引言访问授权是信息系统安全最重要的措施之一。支持访问授权职责分离原则是评价访问授权模型的重要技术指标。但是,现有的访问授权模型仅支持用户级授权职责分离,即不允许同一用户同时拥有某些访问权限(权限静态互斥),或者不允许同... 1 引言访问授权是信息系统安全最重要的措施之一。支持访问授权职责分离原则是评价访问授权模型的重要技术指标。但是,现有的访问授权模型仅支持用户级授权职责分离,即不允许同一用户同时拥有某些访问权限(权限静态互斥),或者不允许同一用户在一次用户访问会话(进程)中激活其所拥有的某些访问权限(权限动态互斥),而对访问授权任务本身存在的互斥关系在目前的相关文献中讨论很少。然而。 展开更多

关键词 信息安全 信息系统 访问授权 任务依赖关系 PETRI网 分析

在线阅读 下载PDF 职称材料

导弹并行测试系统优化模型与性能评价 被引量：1

12

作者 谢化勇 肖明清 +1 位作者 李斌 陈子亮 《计算机工程》 CAS CSCD 北大核心 2011年第18期278-280,共3页

并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度。基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性。采用赋时有色Petri网对并行测试系统进行建... 并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度。基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性。采用赋时有色Petri网对并行测试系统进行建模,并基于线性代数的方法验证模型结构的有界性、守恒性、活性和公平性。性能分析结果表明,该方法能提高测试资源利用率,节约测试时间。 展开更多

关键词 并行测试 赋时有色Petri网 性能评价 任务调度 蚁群算法

在线阅读 下载PDF 职称材料

农业装备物流体系的数学建模

13

作者 孙亮 《农机化研究》 北大核心 2009年第2期24-26,共3页

在分析了农业装备物流体系特点的基础上,指出了目前存在的数学模型不能完全体现和描述农业装备物流体系的特点;建立了基于面向环境时延着色Petri网(EOCTPN)的农业装备物流体系数学模型;研究了不同类型农业装备物流体系对库存总成本和长... 在分析了农业装备物流体系特点的基础上,指出了目前存在的数学模型不能完全体现和描述农业装备物流体系的特点;建立了基于面向环境时延着色Petri网(EOCTPN)的农业装备物流体系数学模型;研究了不同类型农业装备物流体系对库存总成本和长鞭效应的影响程度;解决了目前存在的无法将正向物流和逆向物流有机结合在一起的问题;有效克服了基础Petri网描述此类问题出现的"节点爆炸"现象。在仿真实验的基础上,提出了应如何构建农业装备物流体系的方法。 展开更多

关键词 农业装备物流体系 模型 PETRI网 供应链

在线阅读 下载PDF 职称材料