期刊文献+

Petri网模型代码映射研究

Research on Mapping the Petri Nets to Program Code
下载PDF
导出
摘要 为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。 To simplify the simulation system realization, conclude the rule of the mapping Petri nets to program code. Based on the research of basic elements and relation,construct 3 atomic sentences in view of logic relationship and combine to 2 kinds of molecular sentence. Take the example of prototype Petri nets, put forward the mapping method of circulation structure in the reachable marking graph. The mapping scenario of extended Petri nets with inhibitor arcs and controlled Petri nets are also put forward All the research offer academic foundation for the mapping of Petri net to program code
机构地区 海军潜艇学院
出处 《系统仿真技术》 2012年第2期105-110,共6页 System Simulation Technology
关键词 PETRI网 程序代码 映射 Petri nets program code mapping
  • 相关文献

参考文献5

二级参考文献48

  • 1蒋昌俊.加权T图的几种化简运算[J].通信学报,1994,15(2):97-103. 被引量:10
  • 2周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法[J].软件学报,2005,16(7):1242-1251. 被引量:34
  • 3韩婷婷,陈韬略,颜锋,吕建.同步和异步π演算的表达能力研究[J].高技术通讯,2005,15(8):18-22. 被引量:1
  • 4司玉娟,王万树,郎六琪,郭殿龙,戴逸松.时序逻辑电路的Petri网分析方法[J].计算机学报,1996,19(7):492-498. 被引量:4
  • 5袁崇义.Petri网[M].东南大学出版社,1989..
  • 6Basili V R, Selby R W. Comparing the Effectiveness of Software Testing[J]. IEEE Transactions on Software Engineering, 1987, 13(12) : 1278-1296.
  • 7WestB.安全编程:代码静态分析[M].北京:机械工业出版社,2008.
  • 8Clarke L A. A System to Generate Test Data and Symbolically Execute Programs[J]. IEEE Trans. Softw. Eng., 1976,2(3): 215-222.
  • 9Wagner D, Dean D. Intrusion Detection via Static Analysis[C]// Proceedings of the 2001 IEEE Symposium on Security and Privacy. IEEE Computer Society, 2001 : 156.
  • 10Naik M, Park C-S, Sen K, et al. Effective static deadlock detection[C] // the 31st International Conference on Software Engineering. Vancouver, Canada, 2009 : 386-396.

共引文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部