§ 介绍
它有四个基本元素:place,transition,arc,token.
它可以用来检测协议中的错误,死锁状态.
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。