%0 Journal Article
%T Methods for Obtaining the Process Expressions of S-Nets<br>S-网的进程表达式及求取方法研究
%A DUAN Hua
%A ZENG Qing-Tian
%A <br>段华
%A 曾庆田
%J 计算机科学
%D 2006
%I 
%X Process is most useful for property analysis among all the analysis tools of Petri net, however it is usually difficult to present all the processes of a structure-complex Petri net. The process characteristics of S-Nets, a class of structure-simple Petri net, are analyzed with details in this paper. The process expressions of all kinds of S-Nets are presented, which can he used for references of process analysis for structure-complex Petri net.
%K Petri net
%K S-Net
%K Process
%K Process expression<br>Petri网
%K S-网
%K 进程
%K 进程表达式
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=85937C364D4C7051&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=F3090AE9B60B7ED1&sid=4966445AEEBA9556&eid=0DEB7A8A66C33AAD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=11