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

• 作者: 叶剑虹 孟永刚 宋文
• 来源期刊: 科技与创新
• 关键词: Petri网 模拟 验证 P/T_系统 证券交易系统 S-不变量
• 年，卷（期）: 2006,（27）
• 所属期刊栏目: 金融电子
• 页码范围: 226-228
• 页数: 3页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2006.27.079

摘要

给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂.由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证.