会议论文《正规表达式到无空标注Petri网的构造方法》提出了一种将正规表达式转换为无空标注Petri网的有效算法。该方法通过分析正规表达式的结构，构建相应的Petri网模型，确保其行为与原正规表达式一致。研究在第十二届全国Petri网理论与应用学术年会上发表，对形式化建模与验证具有重要意义。
文档为pdf格式，0.59MB，总共6页。
举报
