基于随机Petri网的信息系统工作流建模

工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低。文章提出了一种通用Petri网工作流建模和验证方法。以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象。研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率。

基于GSM/GPRS的负荷控制管理系统的研制

为了满足配网自动化和电力需求侧管理的要求,提出了一种负荷控制管理系统的设计方案,该方案通过GSM短信方式直接实现采集器与主站之间的双向数据传输,节约了投资,缩短了开发周期;介绍了该系统的组成、主要功能和数据库访问的主要接口标准,这些标准常用在虚拟仪器等系统开发中;给出了基于ODBC的负荷控制管理系统与电力M IS系统之间的数据共享方法,负荷控制管理系统主站使用电力M IS系统的内网IP地址,通过防火墙与电力M IS系统交换数据,由电力M IS系统进行WEB信息发布,该方法简便灵活、安全性高.两年多的实际应用情况说明了负荷控制管理系统方案的先进性和实用性.