Detection of Specific Semantic Functionalities, such as Self-Replication Mechanism, in Malware Using Colored Petri Nets. - Arnur G. Tokhtabayev; Victor A. Skormin; Andrey M. Dolgikh; Mamirbek Beisenbi; Moldir Kargaldayeva (Security and Management, 2009)