共享合成Petri网系统的语言递归性与系统活性

著录项

• 来源
  《软件学报》 |2004年第3期|317-326|共10页
• 作者

  蒲飞; 陆维明; 宋文;

  展开▼
• 作者单位

  中国科学院;

  数学与系统科学研究院;

  数学研究所;

  计算机科学室;

  北京;

  100080;

  怀化学院;

  数学系;

  湖南;

  怀化;

  418008;

  中国科学院;

  数学与系统科学研究院;

  数学研究所;

  计算机科学室;

  北京;

  100080;

  西华大学;

  计算机科学与工程系;

  四川;

  成都;

  610039;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 安全保密;
• 关键词

  共享合成; 语言递归性; 并发语言; 路径并发合成; 良径;