论文部分内容阅读
提出一种扩展了价格信息的Petri网——价格Petri网,讨论了相应的分析方法和应用前景。主要工作是:为Petri网的变迁引入价格参数,并用价格变迁系统给出价格Petri网的语义;对价格Petri网进行了可达性分析并讨论了最小成本可达问题的可判定性;最后用价格Petri网建立一个业务流程的成本模型。结论是:为Petri网扩展价