赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于...赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间。展开更多
流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统...流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。展开更多
文摘赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间。
文摘流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。
