论文部分内容阅读
本文阐述了Petri网的可达树分析方法,以及Petri可达树的有限性。结合可达树分析法对安全性、有界性和复盖性等性质进行了讨论。
Petri网的可达树分析法
【摘 要】
：
本文阐述了Petri网的可达树分析方法,以及Petri可达树的有限性。结合可达树分析法对安全性、有界性和复盖性等性质进行了讨论。
【机 构】
：
武汉水运工程学院计算机与自动化系
【出 处】
：
武汉水运工程学院学报
【发表日期】
：
1993年1期
其他文献
根据反馈特性将液压放大器分成4大类,利用函数方框图法推导了各种反馈液压放大器的传递函数,提出了以综合反馈液压放大器函数方框图及其传递函数为归一模式的动态分析方法。
节水灌溉技术对于水资源的有效利用，节约水资源，提高环境承载力有重要作用，适应可持续发展的要求。本文对节水灌溉技术、配水节约措施、节水灌溉的系统制度、在农田节水灌溉技术
硼硅酸盐玻璃以其致密的网络结构而具有良好的热稳定性和化学稳定性、机械性能和工艺性能好，优良的光学性能等，得到广泛的应用和发展。但由于硼硅酸盐的熔化温度高、粘度大、硼
连作障碍（Continuous Cropping Barrier）是指因连续种植某种（乃至同一科）作物而出现的生长发育不良，品质、产量下降等现象，俗称“重茬病”。作物能否产生连作障碍与作物类型及自身
长治市地处晋东南上党盆地，是典型的玉米种植大市．全市29万hm^2耕地，有19．6万hm^2种植玉米，占耕地的68％，平均单产750kg／0．067hm^2。人工收割玉米一天不到0．067hm^2，因收获环境恶劣，劳动强
提出一种适用于双端带并联电抗器输电线路单相重合闸永久性故障的判别方法.该方法以线路瞬时性故障模型为参考模型,建立参数识别网络方程,将线路电容参数作为待求解参数,根据
系统研究了机械球磨改性处理时间（t=0，1，2，4，8h）对Ti9．6Cr11V75．4Fe4合金相结构和储氢性能的影响．XRD及扫描电镜分析表明，Ti9.6Cr11V75.4Fe4合金在球磨前后均为体心立方结构的固溶体单
本文论述了用深切缓进给磨削工艺加工261P 涡轮增压器叶片枞树形榫齿的试验研究。用正交试验法优化工艺参量,用夹丝法及顶丝法半人工热电偶测出磨削区及工件表层温度分布曲线