%0 Journal Article
%T Process Expression of Stable Bounded Petri Nets<br>稳定有界Petri网的进程表达式
%A WANG Ming-xin
%A LIU Guan-jun
%A YAN Chun-gang
%A <br>汪明新
%A 刘关俊
%A 闫春钢
%J 计算机科学
%D 2011
%I 
%X The paper1]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.
%K Bounded pctri net
%K Process expression
%K Basic subprocess
%K S-net<br>有界Petri网，进程表达式，基本子进程，S网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=3EEFC6C1604F49D66B17CB4059934C52&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=0B39A22176CE99FB&sid=E514EE58E0E50ECF&eid=3F2E6074D5A550C4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7