1. Adameit, S. et al. (2010). Modelling distributed network security in a Petri net- and agent-based approach. Multiagent System Technologies. Lecture Notes in Computer Science, 6251/2010, 209-220.
2. Čičák, P., & Mostafa, H.E. (2006). Hands on roaming duration: Petri-Nets modelling of a wireless mobile-IP procedure in Cisco platform. Proceedings of International conference on Networking and Services (ICNS’06) (pp. 28-33). Washington, DC, USA:;1; IEEE Computer Society. doi: 10.1109/ICNS.;1; 2006.55.
3. Flochová, J., Auxt, F., Radakovič, M., & Jombík, O. (2006). PNDesigner a tool designed for model based diagnosis and supervisory control of DES. Proceeding of WODES - Workshop on discrete event systems (pp. 471-472). Los Alamitos, CA, USA:;1; IEEE Computer Society. doi: 10.1109/WODES.;1; 2006.382521.
4. Protos2CPN: using colored Petri Nets for configuring and testing business processes;Gottschalk;Int. Journal on Software Tools for Technology Transfer (STTT),2008
5. A support tool for the reachability and other Petri Nets related problems and formal design and analysis of discrete systems;Hudák;Problems in programming,2008