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

Xiao Mao Li; Xian Wen Fang

doi:10.4028/www.scientific.net/AMM.571-572.453

Paper Titles

An Improved Method for Maintenance Scheme of an Inter-Zone Route
p.433

Design and Implementation of ZigBee Gateway for Ethernet
p.438

Mobile Wireless Network Management System
p.443

Research of Mining High Power 802.11n Access Point
p.447

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

The Research of Auto After-Sales Service Personalized Recommendation Based on LBS
p.457

A Pattern Matching Algorithm for Double-Type Characters
p.461

Study on Design of Non-Uniform Energy Distribution Wireless Network
p.465

Manipulation of Quantum Communication Channel via Two-Level Atom Interacting with Caving Fields
p.469

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 571-572The Modeling Method and Analysis of Online Top-Up...

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

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 571-572)

Pages:

453-456

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.571-572.453

Citation:

Cite this paper

Online since:

June 2014

Authors:

Xiao Mao Li*, Xian Wen Fang

Keywords:

Modeling, Online Top-Up System, Open Petri Nets, T- Invariable

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[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).

DOI: 10.1109/icicse.2008.97

Google Scholar

[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).

DOI: 10.1109/iccse.2009.5228244

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

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

DOI: 10.1109/5.24143

Google Scholar

[5] Xin Gao, Xianwen Fang and Zhicai Xu: Research of correctness of web service composition under environment constraint based on open Petri net. Computer Engineering and Design. 33(4): 1437-1441 (2012).

Google Scholar

[6] Jianbing Peng and Li Jiao: Reachability analysis of Petri nets based on minimal T-invariant Adding. Application research of computers. 27(10): 3798-3802 (2010). In Chinese.

Google Scholar

[7] Kostin A E: Using transition invariants for reachability analysis of Petri nets. I-Tech Education and Publishing. 433-458 (2008).

DOI: 10.5772/5328

Google Scholar