抽象的正式模型的信息流动，显示系统的静态和动态属性。A Petri 网通常表示为一个图有两种类型的节点 （称为地方和过渡） 由弧形和标记 （称为令牌） 动态属性，该值指示连接。