您当前的位置：
首页 >
文章列表页 >
一种递归π演算向Petri网的转换方法
更新时间：2021-10-11
上一篇|下一篇

    • 一种递归π演算向Petri网的转换方法

    • Petri net translation of recursion π-calculus

    • “2021年10月11日吉林大学的辉 康、芳 梅团队在《吉林大学学报（工学版）》发文，介绍了其在π演算领域的研究进展，辉 康、芳 梅团队探索了递归π演算向Petri网的转换课题，为复杂系统中应用Petri网模型提供解决方案。”
    • 辉 康 ，双双 张 ，芳 梅
    • 吉林大学学报（工学版） 2014年44卷第1期 页码：142-148
    • 作者机构：

      1.吉林大学, 计算机科学与技术学院, 长春 130012

      2.吉林信息安全测评中心, 长春 130062

    • 作者简介：

      康辉(1968),女,副教授.研究方向:Web服务与服务组合技术.E-mail:kanghui@ jlu.edu.cn

      梅芳(1977),女,讲师,博士.研究方向:自主通信,策略网管.E-mail:meifang@jlu.edu.cn

    • 基金信息：
      国家自然科学基金项目(61073164)

    • DOI： 10.13229/j.cnki.jdxbgxb201401025     

      中图分类号：

    移动端阅览

  •  
  •  

  • AI导读

  • HTML全文

  • 图( 6 ) 表( 0 )

  • 参考文献

  • 出版信息

  • 数据统计

6

浏览量

10

下载量

2

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

基于Pi演算的并行编程语言
低碳导向的网约车合乘意愿及激励策略
寒区路基水⁃热耦合理论模型及变形规律
基于真⁃伪三连体神经网络的传感器本体匹配方法
基于前馈卷积神经网络的多模块自监督降噪模型

相关作者

康辉
王家琦
梅芳

相关机构

吉林大学 计算机科学与技术学院