数字家庭是随着计算机网络的普及以及对人们生活的渗透而产生的新概念。其目的是将与人们生活息息相关的各类电子消费品、移动终端,数字家庭等设备通过一个统一的网络连接在一起进行统一的管理和信息交互工作。数字家庭以其广阔的市场前景和生活的密切联系成为未来网络发展的一个重要方向。为适应新时期网络的发展需求,IEIF提出下一代网络协议IPv6。IPv6拥有巨大的地址空间,对协议层的服务质量要求和IPsec提供安全策略。IPv6可以为所有数字家庭和移动终端提供唯一的全球地址和即插即用功能支持。在数字家庭领域IPv6拥有巨大的优越性。但是目前IPv6应用规模较小,而协议转换是一种有效的解决IPv4和IPv6网络的通信的方法。Petri网作为一种严谨的形式化分析方法非常适合用于分析系统的行为和动态特性。所以本文使用Petri网设计分析一个基于协议转换的数字家庭通信服务系统。本论文工作如下：(1)对协议转换做了具体分析和设计,最后选择基本网系统的P/T模型用于协议转换过程的建模和分析(2)设计了一个数字家庭的IPv4/IPv6协议转换系统,并为系统建立Petri网模型,分析了系统的静态和动态特征,模拟并分析系统模块之间的并行工作和信息交互过程,验证了系统的功能实现和安全性。