TCPN的可调度性及调度区间的约束分析

时间约束 Petri网 (TCPN)通过引入时间因素 ,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性 ,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构 ,对变迁的可成功调度与否以及影响调度区间的约束条件进行了分析和研究 ,简化了 TCPN网的可达性与可调度性的分析方法。

TCPN的状态可达及可调度决策空间算法

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

TCPN的分布式仿真方法

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

SIP协议的分层TCPN建模

3G通信选择会话初始化协议SIP作为下一代的移动网络回话操控机制,在SIP协议[1]实际运行过程中迫切需要深入研究和解决的重要问题包括：确保协议在设计上无缺陷;运行过程稳定且具有高可靠性。TCPN在分析和描述具有较复杂时间约束和交互行为领域具有相当的优势,本文利用TCPN这一优势设计完成了SIP的分层TCPN模型。

基于图规约法的TCPN工作流网模型的验证方法

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

基于TCPN的毕业设计选题流程建模与应用

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

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

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

基于TCPN的LBS动态服务组合建模与验证

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

基于TCPN的TCP协议形式化描述

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

基于TCPN的复杂航班推出问题的建模与仿真

为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色Petri网(Timed-Colored Petri Net,TCPN)的复杂情况下航空器推出模型。依据此模型将航空器从滑行道到停入机位的全过程进行模拟和说明。最后结合TCPN仿真软件CPN Tools中的状态空间分析法,对模型的可行性进行分析,对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义。

基于TCPN复杂产品设计任务资源调度及应用研究

针对复杂产品设计任务模块资源调度冲突问题,在分析TCPN网中资源约束下基本结构的设计任务元活动变迁的输入与输出资源库所数量的基础上,构建基于TCPN网设计任务模块的资源约束TCPN模型,围绕资源约束TCPN网中同步活动任务变迁与非同步活动任务变迁,给出不同的资源约束调度规则,并设计完整的资源约束调度算法与修正算法,研究给出可调度的设计任务模块资源约束TCPN网.最后,以J企业某型号汽车研发项目为例,构建汽车底盘设计模块设计任务元的资源约束TCPN模型并进行求解,给出汽车底盘设计任务模块的可调度资源配置,实现汽车底盘协同研发资源约束TCPN网中的所有设计任务元活动变迁皆可调度.

时间约束Petri网及其可调度性分析与验证

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

铁辊车间生产物流系统的优化与仿真

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

自动恒温控制系统关键资源调度模型

该文首先介绍自动恒温控制系统原理 ,通过设计建立系统可调度TCPN规格模型算法 ,即关键资源调度建模算法 ,最后以自动恒温控制系统为实例 ,建立系统可调度分析TCPN规格 。

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

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

物流配送中心工作流程的建模与仿真

根据配送中心的作业特点,分析了物流配送中心基本组成和作业流程,将物流配送中心剖析为进货、存储、流通加工、分拣、出货子系统,应用赋时着色Petri网(TCPN)对配送中心系统进行建模。通过对配送中心系统进行计算机仿真,找出了该系统在作业过程中的"瓶颈",提出了资源和流程的改进措施。

访问授权任务依赖关系及其Petri网分析

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

导弹并行测试系统优化模型与性能评价

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

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

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

时间有色佩特里网在航班进离港中应用

为了解决目前和以后越来越严重的空中交通拥挤问题,文中对终端区空中交通流量管理中航班进离港部分连续航班动态飞机排序问题进行研究。提出了基于时间有色佩特里网(TCPN)的航班进离港的调度方法,用MATLAB软件中的M函数编写了算法程序,然后进行了仿真。仿真结果表明,该方法选用的算法是合理的,而且可以明显的减少航班总的延误,优化效率高,算法简单可行,而且更符合实际的要求。该方法在一定程度上可以帮助空管人员进行调度决策,从而更加快速有序地对飞机进离港进行调度,对目前空管优化调度,减少延误等情况的处理具有一定的参考研究价值。