一种面向服务Petri网模型及其结构化操作语义

• 作者: 邓蒙蒙 郭峰 魏光
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Petri网 面向服务 结构化操作语义
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 计算机软件与数据库
• 页码范围: 2739-2743
• 页数: 5页
• 分类号: TP301
• 字数: 5242字
• 语种: 中文

摘要

在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭峰	北方工业大学信息工程学院	20	41	4.0	5.0
2	邓蒙蒙	北方工业大学信息工程学院	2	7	2.0	2.0
3	魏光	北方工业大学信息工程学院	2	11	2.0	2.0