期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Petri网的网上股票交易系统模拟与验证 被引量：1

Modeling and Verification of an Online Stock Trading System Based on Petri Nets
下载PDF
导出
摘要 给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证。 gives a model of online stock trading system based on temporal Petri nets, but, it is much complicated. Petri nets are a powerful describing and analyzing tool of discrete event dynamic concurrent systems, so, we propose a new model of online stock trading system of Shanghai Stock Exchange, it is based on Place/Transition-Nets. And the verification of the model is shown by S- invariants.
作者 孟永刚 宋文 叶剑虹
机构地区 西华大学数学与计算机科学技术学院
出处 《微计算机信息》 北大核心 2006年第09X期226-228,共3页 Control & Automation
基金 四川省科技厅应用基础课题(03226125)
关键词 PETRI网 模拟 验证 P/T_系统 证券交易系统 S-不变量 Petri nets,modeling,veritication,Place/Transition-Nets,stock trading system,S-invariants.
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献11

  • 1曹锐,李宏光,李昊阳.一类混杂系统Petri网模型的优化算法的研究[J].微计算机信息,2005,21(1):27-28. 被引量：27
  • 2[1]Suzuki, I. Formal analysis of the alternating bit protocol by temporal Petri nets. IEEE Transactions on Software Engineering, 1990, 16(11):1273～1281.
  • 3[2]Zurawski, R. Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions. IEEE Transactions on Industrial Electronics, 1997,44(3):307～320.
  • 4[3]Suzuki, I., Lu, H. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter. IEEE Transactions on Computers, 1989,38(5):696～704.
  • 5[4]Murata, M. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 1989,77(4):541～580.
  • 6[5]Coolhan, E., Jr Roussopoulos, N. Timing requirements for time-driven systems using augmented Petri nets. IEEE Transactions on Software Engineering, 1983,SE-9(6):603～616.
  • 7[6]Berthomieu, B., Diaz, M. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 1991,17(3):259～273.
  • 8[7]Manna, Z., Pnueli, A. The temporal logic of reactive and concurrent systems. In: Specification. New York: Springer-Verlag, 1992.
  • 9[8]Stirling, C. Model and temporal logics. In: Abramsky, S., Gabby, D.M., Maibaum, T.S.E., eds. Handbook of Logic in Computer Science. Oxford: Oxford University Press, 1992. 477～563.
  • 10[9]Murata, T., Zhang, D. A predicate-transition net model for parallel interpretation of logic programs. IEEE Transactions on Software Engineering, 1988,14(4):481～497.

共引文献14

同被引文献7

引证文献1

二级引证文献10

微计算机信息
2006年 第09X期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部