Login / Signup

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

Yuyue DuChangjun 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