广西科技大学学报

1998, (01)

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

动态死锁分析与检测
The Analysis and Test of Dynamic Deadlock in Petri Net

唐培和

摘要(Abstract):

可达树是Petri网性能分析的重要工具之一。本文在可达树和网结构的基础上,提出了一种分析与检测动态死锁的新方法,并给出了相应的算法。

关键词(KeyWords): Petri网;死锁;可达树;算法

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 唐培和

Email:

文章评论(Comment):

序号(No.) 时间(Time) 反馈人(User) 邮箱(Email) 标题(Title) 内容(Content)
反馈人(User) 邮箱地址(Email)
反馈标题(Title)
反馈内容(Content)
扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享