计算机科学 ›› 2009, Vol. 36 ›› Issue (11): 136-139.
• 软件工程与数据库技术 • 上一篇 下一篇
张继军,范昊,耿霞
出版日期:
发布日期:
基金资助:
ZHANG Ji-jun,FAN Hao,GENG Xia
Online:
Published:
摘要： Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述，基于Petri网的状态转换图，分析了Petri网的行为特征，定义了α闭包表达式和Petri网语言表达式，给出了求解Petri网语言表达式的算法，为Petri网语言的形式化描述和分析提供了一种新方法。
关键词: Petri网状态转换图，重复序列的依赖性，Petri网语言表达式，算法
Abstract: Petri net language is a set of sectuences for describing Petri net behavior. It analyzed the behavior characteristic of Petri net based on its state transition diagram, in order to give the formula description of the language of Petri net.The expression of Petri net language was defined,and an algorithm for finding expression of Petri net language was given. A new method was provided for describing and analyzing the language of Petri net.
Key words: State transition diagram, Dependence of repetitive sequence, Expression of Petri net language, Algorithm
张继军,范昊,耿霞. Petri网语言表达式及其求解算法[J]. 计算机科学, 2009, 36(11): 136-139. https://doi.org/
ZHANG Ji-jun,FAN Hao,GENG Xia. Algorithm for Finding Expression of Petri Net Language[J]. Computer Science, 2009, 36(11): 136-139. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I11/136
Cited
首页