| 共享合成Petri网系统的活性保持性 |
| 其他题名 | sharing synthesis of petri net systems via preserving liveness
|
| 蒲飞; 陆维明
|
| 2005
|
| 发表期刊 | 系统工程理论与实践
 |
| ISSN | 1000-6788
|
| 卷号 | 25期号:11页码:70-78 |
| 摘要 | 讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件. |
| 收录类别 | wanfang
; cnki
; ei
|
| 关键词 | 共享合成
路径的并发合成
并发语言
活性保持性
良径
共享合成
网系统
活性保持性
合成系统
语言关系
资源共享
行为关系
判定
合成过程
合成操作
子系统
关系式
建模
|
| 部门归属 | 中国科学院软件所计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院数学所,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12282
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
蒲飞,陆维明. 共享合成Petri网系统的活性保持性[J]. 系统工程理论与实践,2005,25(11):70-78.
|
| APA |
蒲飞,&陆维明.(2005).共享合成Petri网系统的活性保持性.系统工程理论与实践,25(11),70-78.
|
| MLA |
蒲飞,et al."共享合成Petri网系统的活性保持性".系统工程理论与实践 25.11(2005):70-78.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论