Petri-Nets相关论文
针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件。本文首先按照层次对冗余控制系统进......
工作流技术能够实现业务过程的集成、业务过程的自动化与业务过程的管理,鉴于此,文中提出将工作流技术应用于医院管理,用以实现医......
针对业务过程的规范化建模问题，研究结构化工作流．证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式，提出了一种结构化......
