1. Wang, J.: Petri Nets for Dynamic Event-Driven System Modeling.
http://bluehawk.monmouth.edu/~jwang/Ch024.pdf
2. van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
3. Liu, L.: Verification of the SIP Transaction Using Coloured Petri Nets.
http://search.ror.unisa.edu.au/media/researcharchive/open/9915910937801831
4. Christensen, S., Hansen, H.: Coloured Petri nets extended with channels for synchronous communication. Technical Report, DAIMI PB-390, Aarhus University (1992)
5. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)