Institutional Repository
| 共享合成Petri网系统的活性保持性 | |
| Alternative Title | sharing synthesis of petri net systems via preserving liveness |
| 蒲飞; 陆维明 | |
| 2005 | |
| Source | 系统工程理论与实践
 |
| ISSN | 1000-6788 |
| Volume | 25Issue:11Pages:70-78 |
| English Abstract | 讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件. |
| Indexed Type | wanfang ; cnki ; ei |
| Keyword | 共享合成 路径的并发合成 并发语言 活性保持性 良径 共享合成 网系统 活性保持性 合成系统 语言关系 资源共享 行为关系 判定 合成过程 合成操作 子系统 关系式 建模 |
| Department | 中国科学院软件所计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院数学所,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12282 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 共享合成Petri网系统的活性保持性.p（386KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment