Petri网 编辑
佩特里网，又译为裴氏网、派翠网络，是对离散并行系统的数学表示。佩特里网属于离散事件动态系统，是1960年代由卡尔·亚当·佩特里发明的，适合于描述异步的、并发的计算机系统模型。佩特里网既有严格的数学表述方式，也有直观的图形表达方式。
1
相关
顺序功能流程图简称SFC，是为可程式逻辑控制器开发的图形程式语言，是IEC 61131-3标准定义的五种语言之一。顺序功能流程图是以GRAFCET为基础，而后者又以Petri网为基础。