期刊文章详细信息
有界Petri网的进程表达式
文献类型：期刊文章
机构地区：[1]山东矿业学院应用数学与软件工程系,泰安271019
基 金：国家自然科学基金;山东省科学基金
年 份：1995
卷 号：25
期 号：12
起止页码：1334-1340
语 种：中文
收录情况：CSCD、CSCD2011_2012、ZMATH、普通刊
摘 要：提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程。
关 键 词：PETRI网 进程 正规表达式 算法
分 类 号：TP393]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
