###
DOI:
计算机系统应用英文版:2004,13(11):44-47
本文二维码信息
码上扫一扫!
Petri网死锁的分析与检测
(柳州广西工学院计算机工程系 545006)
The Analysis and Test of Petri Net's Deadlock
摘要
图/表
参考文献
相似文献
本文已被:浏览 1786次   下载 2935
    
中文摘要: 本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.
中文关键词: Petri网 死锁 算法
Abstract:
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:本文的研究获广西自然科学基金(桂科自0066006)资助
引用文本:
唐培和.Petri网死锁的分析与检测.计算机系统应用,2004,13(11):44-47
.The Analysis and Test of Petri Net's Deadlock.COMPUTER SYSTEMS APPLICATIONS,2004,13(11):44-47