|
计算机科学 2006
Methods for Obtaining the Process Expressions of S-Nets
|
Abstract:
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.