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

摘要

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