动态优先系统及其Petri网语义

作     者：李文军 周晓聪 李师贤 马建 

作者机构：中山大学计算机科学系广州510275 香港城市大学商学院BPR技术中心 

基　　金：国家自然科学基金 ( 79910 16 1989) 高等学校博士点基金 ( 99-0 18-4 1170 3)资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2001年第24卷第10期

页      码：1085-1094页

摘      要：优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 .

主 题 词：并发模型 动态优先系统 Petni网 形式语义 程序设计语言 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3321/j.issn:0254-4164.2001.10.011

馆 藏 号：203125821...