The Modeling Method and Analysis of Online Top-Up System Based on Open Petri Net-Reference-Cited by-同舟云学术

The Modeling Method and Analysis of Online Top-Up System Based on Open Petri Net

Published:2014-06 Issue: Volume:571-572 Page:453-456
ISSN:1662-7482
Container-title:Applied Mechanics and Materials
language:
Short-container-title:AMM

Author:

Li Xiao Mao¹,Fang Xian Wen¹

Affiliation:

1. Anhui University of Science and Technology

Abstract

Petri nets have structure and behavior properties, it is convenient to analyze some complex system based on its mathematical analysis methods. Online top-up system is an open network system. The modeling method of this system based on general Petri net has some limitations. A new modeling method based on open Petri net to study online top-up system is proposed, and analyze the open Petri net model by T-invariant. This method laid a foundation for the study of open online top-up system.

Publisher

Trans Tech Publications, Ltd.

Link

https://www.scientific.net/AMM.571-572.453.pdf

Reference8 articles.

1. Xiaoning Feng and Zhuo Wang: Hierarchical object-oriented Petri net modeling method based on ontology. In 2008 IEEE International conference on Internet computing in science and engineering. 553-556 (2008).

2. Jiayang Guo and Xu Yin: Modeling method of operation process in workflow based on Petri net and UML. In 2009 IEEE International conference on Computer Science&Education. 1917-1922(2009).

3. Li Liu and Jinyun Fang: Modeling Web Service Composition Using Alternative Petri Net Considering QoS. Computer Science. 40(6): 37-40 (2013). In Chinese.

4. Min Huang, Xiao Lin and Zhiwen Hou: Modeling method of fuzzy fault Petri nets and its application. Journal of Central South University. 44(1): 1037-1042 (2013). In Chinese.

5. T. Murata: Petri nets: Properties, analysis and applications. Proc. IEEE. 77(4): 541-580 (1989).