Description and Verification of an Online Stock Trading System by Using Temporal Petri Nets

• 网上证券交易系统的时序Petri网描述及验证