杨博
- 作品数：4 被引量：8H指数：1
- 供职机构：西华大学数学与计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- Petri网的动态行为研究方法分析被引量：1
- 2008年
- Petri网是适应于形式化软件开发的很好的描述工具。Petri网理论研究分为建模与验证两个方面,结构技术是Petri网的验证技术的基本方法之一,其主要核心是基于死锁,基于这一方法的研究已取得一些很好的结果,但死锁的个数是网规模的指数阶的。这就意味着目前有关网的理论研究结果与实用的验证方法有着一条难于逾越的鸿沟。本文对Petri网的动态行为研究方法给出了一个较为详尽的概述。
- 宋文杨博
- 关键词：PETRI网研究方法
- 基于Petri网的交通信号控制系统被引量：6
- 2007年
- 用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。
- 蒋忠远宋文杨博
- 关键词：PETRI网自控网形式化相位
- Petri网结构理论研究
- Petri网是建模和分析的工具,它的主要特性包括:并行,不确定性,异步和分步描述能力和分析能力。它既有直观的图形表示,又有深刻的数学内涵和基础。
Petri网的结构理论的思想是以某种特定结构比如siphon/(...
- 杨博
- 关键词：PETRI网信息流
- 文献传递
- 基于Petri网的交通信号控制系统
- 用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统.系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件...
- 蒋忠远宋文杨博
- 关键词：PETRI网自控网交通信号控制
- 文献传递
