CASIA OpenIR  > 09年以前成果
A Petri-net-based correctness analysis of Internet stock trading systems
Du, YuYue1,2; Jiang, ChangJun3; Zhou, MengChu4,5
Source PublicationIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
2008
Volume38Issue:1Pages:93-99
SubtypeArticle
AbstractThis paper shows how temporal Petri nets (TPNs) can be used to specify and analyze an Internet stock trading system. The dynamical behavior of the system and causality between events can be explicitly described by temporal formulas. The functional correctness of the modeled system is formally verified by using the inferential rules in temporal logic. Important properties of the system are analyzed based on its TPN model such as liveness, eventuality, and fairness properties. This paper demonstrates that TPNs can provide significant advantages in the design and analysis of business processes.
KeywordCorrectness Formal Verification Petri Nets (Pns) Stock Trading Systems Temporal Logic
WOS HeadingsScience & Technology ; Technology
WOS KeywordDESIGN ; MODEL
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Artificial Intelligence ; Computer Science, Cybernetics ; Computer Science, Interdisciplinary Applications
WOS IDWOS:000251840500010
Citation statistics
Cited Times:26[WOS]   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/9686
Collection09年以前成果
Affiliation1.Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China
2.Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China
3.Tongji Univ, Dept Comp Sci & Engn, Shanghai 200092, Peoples R China
4.New Jersey Inst Technol, Dept Elect Comp Engn, Newark, NJ 07102 USA
5.Chinese Acad Sci, Inst Automat, Lab Complex Syst & Intelligence Sci, Beijing 100080, Peoples R China
Recommended Citation
GB/T 7714
Du, YuYue,Jiang, ChangJun,Zhou, MengChu. A Petri-net-based correctness analysis of Internet stock trading systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,2008,38(1):93-99.
APA Du, YuYue,Jiang, ChangJun,&Zhou, MengChu.(2008).A Petri-net-based correctness analysis of Internet stock trading systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,38(1),93-99.
MLA Du, YuYue,et al."A Petri-net-based correctness analysis of Internet stock trading systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 38.1(2008):93-99.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Du, YuYue]'s Articles
[Jiang, ChangJun]'s Articles
[Zhou, MengChu]'s Articles
Baidu academic
Similar articles in Baidu academic
[Du, YuYue]'s Articles
[Jiang, ChangJun]'s Articles
[Zhou, MengChu]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Du, YuYue]'s Articles
[Jiang, ChangJun]'s Articles
[Zhou, MengChu]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.