1. Coloured Petri nets: A high level language for system design and analysis;Jensen;ICATPN,1989
2. CPN tools for editing, simulating, and analysing coloured Petri nets;Jensen;ICATPN,2003
3. Coloured Petri nets: modeling and validation of concurrent systems;Jensen,2009
4. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, STTT, 9, 3-4;Jensen,2007
5. Colored petri-nets approach for solving distribution system contingency;Chen;IEEE,2001