基于AOCPN的半导体生产线多代理交互协议建模技术

提出了基于AOCPN的多代理交互协议的建模技术.在建模方面,提出了AUML模型向AOCPN模型的转换规则,以实现AUML模型向AOCPN模型的映射;在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法.以基于GPGP-CN的半导体生产线多代理交互协议为实例,验证了该建模技术的有效性.

多媒体信息表现中资源竞争的研究

多媒休信息的表现与同步是多媒体系统,特别是多媒体电子邮件、计算机支持的协同工作虚拟现实模拟及分布式多媒体计算的关键技术。应用Petri网理论描述多媒体的同步技术刚刚起。