Login / Signup
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
Yuyue Du
Changjun Jiang
Published in:
ICFEM (2002)
Keyphrases
</>
petri net
formal representation
trading systems
colored petri nets
data analysis
stock market
web services
data mining
knowledge discovery
fuzzy logic
web service composition
correlation analysis
petri net model