论文部分内容阅读
着色Petri网(CP-网或CPN)是一种面向图形的语言,用来设计、说明、模拟和验证系统.尤其适用于通信系统等同步和资源共享占有重要地位的系统.在通信协议、分步式系统、嵌入系统、自动生产系统、工作流分析、VLSI芯片等方面都有典型的应用.本文简单介绍了CPN的发展过程和基本原理,重点就CPN在海上防空系统建模仿真中的应用进行了探讨.