状态空间计算相关论文
时间和价格是大多数应用系统模型的两项主要参数，因此如何将时间和价格信息有效地在建模工具中表示出来并加以应用成为一个有意义的......
价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具．而价格时间自动机则是一种相对成熟的工具．提出一种......
业务流程网是一种用于业务流程建模的新工具。介绍了业务流程网基本概念后，提出一种用于业务流程网状态空间计算的新方法。该方法以......
