Petri-nets相关论文
港区内航道通过能力是港口规划与管理分析的重要内容。在分析船舶、锚地、航道、泊位以及天气和潮汐等港区通航系统影响因素的基础......
针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件。本文首先按照层次对冗余控制系统进......
工作流技术能够实现业务过程的集成、业务过程的自动化与业务过程的管理,鉴于此,文中提出将工作流技术应用于医院管理,用以实现医......
针对业务过程的规范化建模问题，研究结构化工作流．证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式，提出了一种结构化......
工作流是对一组有关联的工作任务问的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析．针对现有工作流模型表达能......
