首页> 中文期刊> 《电子学报》 >并发表达式与安全标号Petri网

并发表达式与安全标号Petri网

         

摘要

本文定义了并发表达式,指出其表达能力与安全标号Petri网是等价的,并且我们给出并发表达式到安全标号Petri网转换的一个线性时间复杂性的算法.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号