Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.

Yuyue Du, Changjun Jiang

Browse the full ICFEM paper archive.