论文部分内容阅读
该文将Petri网理论与方法引入对大型分布式管理信息系统的建模与分析中,结合中国石化系统大型物资供应管理信息系统的结构设计方案,探讨了用Petri网的简洁的形式化语言描述并优化管理信息系统结构与行为的方法.主要包括:运用抽象的信息对象概念描述系统中的信息流和控制流;运用分辨建模技术实现信息系统的分层和结构化设计;运用并发控制理论对多用户在分布式管理信息系统中对信息存取的并发要求加以控制和管理;运用变迁规则确定并优化系统中的信息流动主关键路径及最短合理信息变迁序列.并且在利用Petri网理论优化系统层次结构与实现合理的变迁序列的基础上,提出了适用于大型管理信息系统软件开发的,比传统方法更具普适性的构件组合式程序设计思想.