基于Petri网的网上股票交易系统模拟与验证  

Modeling and Verification of an Online Stock Trading System Based on Petri Nets

作　　者：孟永刚[1] 宋文[1] 叶剑虹[1] 

机构地区：[1]西华大学数学与计算机科学技术学院

出　　处：《微计算机信息》2006年第09X期226-228,共3页Control & Automation

基　　金：四川省科技厅应用基础课题(03226125)

摘　　要：给出了基于时序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.

关 键 词：PETRI网 模拟 验证 P/T_系统 证券交易系统 S-不变量 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]