利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)

摘要：

首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法。

关键词： 二次同余式 奇素数模 抑止弧 增广Petri网模型 状态方程 网格计算 形式化方法

作者: 许安国 赵义军

作者单位: 山东科技大学基础部,山东泰安,271019

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 216-218,228

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）