首页 > 论文下载

结构活网极小标识的一个求解算法

期刊名字：四川大学学报（自然科学版）
文件大小：
论文作者：叶剑虹，石建，宋文
作者单位：电子科技大学计算机科学与工程学院,西华大学数学与计算机学院
更新时间：2023-02-17
下载次数：次

会员下载(3点)

VIP会员下载(0点)

游客扫码下载(3点)

论文简介

活性(Liveness)是Petri网的基本性质.从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法.

论文截图

上一条：谈记忆标识在高职英语教学中的作用

下一条：利用位置和运动信息的目标识别

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。

Petri网结构活关联矩阵极小标识环路算法