Petri网是一种可以用网状图 形表示的系统模型.它不仅仅 是一种可以用数学图形表示 的数学对象,它首先是一种物 理对象,因为它把尊重自然规 律作为第一要义,这样可以确 保以Petri网为模型描述的系 统都是可以实现的