节点文献

一类s-组合Petri网模型及其结构分析研究

Studies of a Class of S-Composition Petri Net Model and Its Structure

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 张东红； 蔡崇春；

【Author】 ZHANG Dong-hong,CAI Chong-chun (Department of Mathematics, Ankang Teachers’ College, Ankang 725000, China)

【机构】 安康师范专科学校数学系!陕西安康725000；

【摘要】 基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析 ,给出了系统死锁存在的充分必要条件 .

【Abstract】 Based on Petri Net Model in this paper, S-Composition Petri Net Model of a class of sequential manufacturing systems is established. By introduction to latent deadlock loop and analysis of system structure, a necessary and sufficient condition for deadlock of system model is proved.

【关键词】 Petri网模型； 串行加工系统； s-组合Petri网； 死锁；
【Key words】 Petri Net Model； sequential manufacturing systems； S-composition Petri Net； deadlock；
【基金】 陕西省教育厅自然科学基金资助项目 ( 99JK139)
  • 【文献出处】 安康师专学报 ,Journal of Ankang Teachers College , 编辑部邮箱 ,2001年03期
  • 【分类号】TP302.7
  • 【被引频次】1
  • 【下载频次】21
打印本页
节点文献中：