有色Petri相关论文
在目前基于Agent的分布式入侵检测系统的设计中，主要的设计思路是依赖多Agent联盟合作机制，但在具体的工程实现中．却难以找到一种恰当......
提出了一种基于分布式仿真平台的可生存性验证模型,实现了对不同种可生存性模型的统一检验.使用有色Petri网验证表明,该模型满足可......
当前的河流防汛会商系统大多处于视频会议阶段,没有规范化模型的支撑限制了虚拟会商的实施。对有色Petri网系统(CPN)进行了面向防......
