工作流分层模型的PNML表示

PNML是一种基于XML的Petri网交换格式,在工作流引擎内部使用PNML表示业务流程的模型,可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性.为此需要先定义新的标签,然后给出新的Petri网类型定义,最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型.借助PNML表示,实现的工作流引擎工具具有很强的扩展性,能够和其他支持PNML的工具进行数据交换.

库所组合有色网-一种新型的有色网

为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.

最小生成树问题在RMESH上的常数时间算法

提出了在n2×mn2的RMESH模型上常数时间的最小生成树算法,并根据PRAM模拟RMESH的结论,得到了在PRAM上O(logn)时间的最小生成树算法。这2个并行算法的时间复杂度都是当前最好的。