ISCAS OpenIR
共享合成Petri网系统的活性保持性
Alternative Titlesharing synthesis of petri net systems via preserving liveness
蒲飞; 陆维明
2005
Source系统工程理论与实践
ISSN1000-6788
Volume25Issue:11Pages:70-78
English Abstract讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.
Indexed Typewanfang ; cnki ; ei
Keyword共享合成 路径的并发合成 并发语言 活性保持性 良径 共享合成 网系统 活性保持性 合成系统 语言关系 资源共享 行为关系 判定 合成过程 合成操作 子系统 关系式 建模
Department中国科学院软件所计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院数学所,北京,100080
Language中文
Content Type期刊论文
URIhttp://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
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[蒲飞]'s Articles
[陆维明]'s Articles
Baidu academic
Similar articles in Baidu academic
[蒲飞]'s Articles
[陆维明]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[蒲飞]'s Articles
[陆维明]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.