Title: | 共享合成Petri网系统的活性保持性 |
Alternative Title: | sharing synthesis of petri net systems via preserving liveness
|
Author: | 蒲飞
; 陆维明
|
Keyword: | 共享合成
; 路径的并发合成
; 并发语言
; 活性保持性
; 良径
; 共享合成
; 网系统
; 活性保持性
; 合成系统
; 语言关系
; 资源共享
; 行为关系
; 判定
; 合成过程
; 合成操作
; 子系统
; 关系式
; 建模
|
Source: | 系统工程理论与实践
|
Issued Date: | 2005
|
Volume: | 25, Issue:11, Pages:70-78 | Indexed Type: | wanfang
; cnki
; ei
|
Department: | 中国科学院软件所计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院数学所,北京,100080
|
Abstract: | 讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/12282
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
共享合成Petri网系统的活性保持性.pdf(386KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
蒲飞,陆维明. 共享合成Petri网系统的活性保持性[J]. 系统工程理论与实践,2005-01-01,25(11):70-78.
|
|
|