Petri网中经常涉及到完备性的概念 之前未觉特别 今天搜索一下 居然是说Petri网中经典的同构的内容:
————————————————————————————————————————
http://zhidao.baidu.com/question/151909449.html?push=ql
公理体系的完备性 意思就是:该体系中有足够个数的公理,以之为依据可推导出该体系的全部结论。亦即:从公理系统出发,能推出(或判定)该领域所有的命题。
设一个公理体系具有两个模型∑和∑',如果在∑和∑'的对象之间能建立这样的一一对应,使得∑中元素间的相互关系或命题,总与∑'中相应元素间的相互关系或命题相对应,则称这两模型是同构的。
如果一个公理体系的各个模型是同构的,就称这个公理体系是完备的。
证明公理系统的完备性就是证明该公理体系的所有模型都相互同构(逻辑结构相同)。
关于公理系统的完备性要求,自哥德尔发表关于形式系统的“不完备性定理”的论文后,数学家们对公理系统的完备性要求大大放宽了。也就是说,能完备更好,即使不完备,同样也具有重要的价值。
——————————————————————————————————————————
更详尽的完备性说明可以参见豆瓣的这篇 但是看得很云里雾里 有空再细看吧: