计算机科学 ›› 2011, Vol. 38 ›› Issue (2): 55-58.
• 计算机网络与信息安全 • 上一篇 下一篇
汪明新，刘关俊，闫春钢
出版日期:
发布日期:
基金资助:
WANG Ming-xin,LIU Guan-jun,YAN Chun-gang
Online:
Published:
摘要： 文献[1]证明一个有界Pctri网的进程表达式是以该网的基本子进程集为字母表的正规表达式，然而没有给出基本子进程的求解方法。定义了一类有界Petri网—稳定有界Petri网，并给出其基本子进程的求解算法，进而利用有限自动机的语言表达式的求解方法来求解稳定有界Pctri网的进程表达式。另外，还给出了由符合一定条件的导网的进程表达式来构造其同步合成网的进程表达式的算法。
关键词: 有界Petri网，进程表达式，基本子进程，S网
Abstract: The paper[1]proved that the process expression of a bounded Petri net is a regular expression with the basic subprocess set of the net system as alphabet. However, methods for the solution of the basic subprocess set have not been proposed so far. This paper defined a class of bounded Petri nets that are named by stable bounded Petri nets(SB-PNs). A method was presented to compute the set of basic subprocesscs, and then the process expression of an SBPN could be produced by a finite state machine with the basic subprocess set of the net system as alphabet. Next, an algorithm was proposed to construct the process expression of a Petri net synchronized by a set of S-nets.
Key words: Bounded pctri net, Process expression, Basic subprocess, S-net
汪明新，刘关俊，闫春钢. 稳定有界Petri网的进程表达式[J]. 计算机科学, 2011, 38(2): 55-58. https://doi.org/
WANG Ming-xin,LIU Guan-jun,YAN Chun-gang. Process Expression of Stable Bounded Petri Nets[J]. Computer Science, 2011, 38(2): 55-58. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I2/55
Cited
首页