| 基于Petri网的网上股票交易系统模拟与验证 |
| |
| 引用本文： | 孟永刚,宋文,叶剑虹. 基于Petri网的网上股票交易系统模拟与验证[J]. 微计算机信息, 2006, 22(27): 226-228 |
| |
| 作者姓名： | 孟永刚 宋文 叶剑虹 |
| |
| 作者单位： | 1. 610039,四川,成都,西华大学,数学与计算机科学技术学院;050031,河北石家庄,石家庄经济学院,信息工程学院
2. 610039,四川,成都,西华大学,数学与计算机科学技术学院 |
| |
| 摘 要： | 给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证。
|
| 关 键 词： | Petri网 模拟 验证 P/T_系统 证券交易系统 S-不变量 |
| 文章编号： | 1008-0570(2006)09-3-0226-03 |
| 修稿时间： | 2006-01-25 |
Modeling and Verification of an Online Stock Trading System Based on Petri Nets |
| |
| Meng,Yonggang,Song,Wen,Ye,Jianhong. Modeling and Verification of an Online Stock Trading System Based on Petri Nets[J]. Control & Automation, 2006, 22(27): 226-228 |
| |
| Authors: | Meng Yonggang Song Wen Ye Jianhong |
| |
| Abstract: | 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. |
| |
| Keywords: | Petri nets modeling verification Place/Transition- Nets stock trading system S- invariants. |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
