Modeling Trading Systems using Petri Net Extensions
Trading systems have become sophisticated multi agent infrastructures with complex development cycles. This is why the financial industry constantly seeks for novel approaches to design and validate these systems. We propose the use of models to support such tasks. On the one hand, these models need to describe how objects (e.g. orders to buy/sell securities) are shared by the system and traders. On the other hand, being a dynamic multi agent system, models of trading systems should have a clear structure, describing how participants interact between each other. In this paper, we address these requirements, integrating notions of various Petri net extensions. In particular, we discuss modeling capabilities/limitations of each extension, and we propose to integrate them into a single approach, allowing for comprehensive modeling of different trading system components.
PNSE@Petri Nets