Abstract:
S-Net is a kind of structure-simple Petri nets and its behaviors are easy to be specified. In this study, we observed the classification of S-Nets and then gave the recognition method of every kind of S-Nets. A finite automaton is constructed first that can be used to recognize the language of a bounded Petri net. Based on the finite automaton constructed, the language recognition algorithm for each kind of S-Nets is proposed and the time complexity of the proposed algorithm is discussed. By several groups of experimental data, the time complexities of the proposed algorithms are checked.
Tingting Cui, Qingtian Zeng and Dongli Zhang, 2011. Recognition Algorithm Design and Complex Analysis for Languages of S-Nets. Information Technology Journal, 10: 106-112.
Subscribe Today 
