Yuyue Du Changjun Jiang MengChu Zhou A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems. 93-99 2008 38 IEEE Transactions on Systems, Man, and Cybernetics, Part C 1 http://dx.doi.org/10.1109/TSMCC.2007.896995 db/journals/tsmc/tsmcc38.html#DuJZ08