基于扩展层次有色petri网创建soc高层可执行规约

提出一种基于扩展层次有色petri网(ehcpn)模型创建soc高层可执行规约的方法,给出了ehcpn的形式化定义.设计并实现了ehcpn建模与模拟环境:soc-p/tmse,环境能够有效支持soc高层规约创建与模拟,如功能分析、性能评估和通信协议检查.