Uppaal的GossipGirl模型

【文件属性】：

文件名称：Uppaal的GossipGirl模型

文件大小：1KB

文件格式：RAR

更新时间：2015-05-30 10:07:40

uppaal gossip girl example

Uppaal教程中gossip girl模型的boolean实现。 教程内的下载地址失效，就自己做了一下，integer以及其他实现略微修改下就行。 包含xml文件以及q文件。

【文件预览】：
gossip_boolean.xml
gossip.q