共享合成Petri网系统的活性保持性
文献类型：期刊论文
| 作者 | 蒲飞 ; 陆维明 |
| 刊名 | 系统工程理论与实践
 |
| 出版日期 | 2005 |
| 卷号 | 25期号:11页码:70-78 |
| 关键词 | 共享合成 路径的并发合成 并发语言 活性保持性 良径 共享合成 网系统 活性保持性 合成系统 语言关系 资源共享 行为关系 判定 合成过程 合成操作 子系统 关系式 建模 |
| ISSN号 | 1000-6788 |
| 其他题名 | sharing synthesis of petri net systems via preserving liveness |
| 中文摘要 | 讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件. |
| 收录类别 | wanfang ; cnki ; ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-28 |
| 附注 | The sharing synthesis process which can model the shared resource problem is a focus in this paper. Liveness preservation in sharing synthesis process for Petri net systems is stressed studied and the system concurrent behavior relation i.e. concurrent la |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。