基于Petri网和工作流的概念 ,提出一种实时协同系统的形式化模拟与分析技术———逻辑工作流网 .逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展 ,其变迁的输入 /输出受逻辑表达式的约束 .它与一般工作流网相比 ,能够在一定程度上缓解状态空间爆炸问题 ,且便于系统设计人员掌握和使用 .该文分析了逻辑工作流网的若干性质及组合网的性质继承问题 ,并以网上企业销售系统为例 ,说明逻辑工作流网在实时协同系统模拟分析中的应用 .
科研之友
微信
新浪微博
Facebook
分享链接
