a petri-net-based correctness analysis of internet stock trading systems

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	a petri-net-based correctness analysis of internet stock trading systems
	Du YuYue ; Jiang ChangJun ; Zhou MengChu
刊名	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
	2008
卷号	38 期号:1 页码:93-99
关键词	correctness formal verification Petri nets (PNs) stock trading systems temporal logic
ISSN号	1094-6977
学科主题	Computer Science, Artificial Intelligence; Computer Science, Cybernetics; Computer Science, Interdisciplinary Applications
收录类别	SCI
语种	英语
WOS记录号	WOS:000251840500010
公开日期	2011-06-10
附注	This 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 functi
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/10415]
专题	软件研究所_软件所图书馆_期刊论文
推荐引用方式 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.