发表于:2005-04-18 13:56:00
4楼
《LonWorks网络数据链路层通信协议的Petri网模型》
一般来说,一个协议的设计不是凭空想出来的。它有一些依据,并且最终要验证一下,有没有漏洞。这就要借助数学方法中的图论,Petri模型是其中之一。要不怎么Neuron C中的一个msg_send()函数会牵出那么多关系呢?msg_completes,msg_succeeds,msg_fails,resp_send(),......这些函数或者事件之间的关系是用图形表达的,这个图是怎样的?......这个课题不难而且有趣,有价值。
需要参考资料请联系我。