会议论文《动态描述逻辑动作系统的Petri网自动生成方法》提出了一种将动态描述逻辑与Petri网相结合的自动生成技术。该方法通过形式化描述逻辑模型，实现对复杂系统行为的建模与分析，提升了系统建模的自动化水平。研究在第十二届全国Petri网理论与应用学术年会上发表，为智能系统建模提供了新的思路和工具。
文档为pdf格式，0.56MB，总共4页。
举报
