基于进程网的网上订餐流程描述

进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式,复杂进程网可由简单进程网通过组合算子组合而成,并支持自顶向下的建模方法。通过进程网描述网上订餐流程,有利于正确构造软件系统。