添加的内容 删除的内容
小 (机器人:清理不当的来源、移除无用的模板参数) |
小 (→top:修正错误转换, replaced: 网路 → 网络) |
||
第2行: | 第2行: | ||
|G1=IT |
|G1=IT |
||
}} |
}} |
||
'''佩特里网'''({{lang-en|Petri net}}),又译为裴氏网、派翠网 |
'''佩特里网'''({{lang-en|Petri net}}),又译为裴氏网、派翠网络,是对离散并行系统的[[数学]]表示。佩特里网属于[[离散事件动态系统]],是1960年代由[[卡尔·亚当·佩特里]]发明的<ref>Petri CA. 1962. Kommunikation mit Automaten (Communication with automata). University of Bonn.</ref>,适合于描述异步的、并发的计算机系统模型。佩特里网既有严格的数学表述方式,也有直观的图形表达方式。 |
||
由于佩特里网能表达并发的事件,被认为是[[自动化理论]]的一种。研究领域趋向认为佩特里网是所有流程定义语言之母。 |
由于佩特里网能表达并发的事件,被认为是[[自动化理论]]的一种。研究领域趋向认为佩特里网是所有流程定义语言之母。 |