The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets (CPNs) and Topological Functioning Model (TFM), is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of system theory and algebraic topology, and formally bridges the solution domain with the problem domain. It is a base for further automated construction of software design models. The paper discusses a perspective on check of control and data flows in the TFM by CPNs formalism. The research result is definition of mappings from TFMs to CPNs.
 E. Asnina and J. Osis, “Computation independent models: bridging problem and solution domains,” in Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development MDA & MTDD 2010, In conjunction with ENASE 2010, Athens, Greece, July 2010. Portugal: SciTePress, 2010.
 J. Osis and E. Asnina, “A Business Model to Make Software Development Less Intuitive,” in Proceedings of 2008 International Conference on Innovation in Sofware Engineering (ISE 2008). Dec. 10-12, 2008, Vienna, Austria. IEEE Computer Society Publishing, 2008.
 J. Osis and E. Asnina, “Is Modeling a Treatment for the Weakness of Software Engineering?” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global, 2011, pp. 1-14. http://dx.doi.org/10.4018/978-1-61692-874-2.ch001
 E. Asnina and J. Osis, “Topological Functioning Model as a CIMBusiness Model,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global, 2011, pp. 40-64. http://dx.doi.org/10.4018/978-1-61692-874-2.ch003
 J. Osis and E. Asnina, “Derivation of Use Cases from the Topological Computation Independent Business Model,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York: USA, IGI Global, 2011, pp. 65-89. http://dx.doi.org/10.4018/978-1-61692-874-2.ch004
 J. Osis, “Topological Model of System Functioning,” in Automatics and Computer Science, J. of Acad. of Sc., no. 6, 1969, pp. 44-50.
 J. Osis, “Formal Computation Independent Model within the MDA Life Cycle,” in International transactions on system science and applications, 2006, pp. 159-166.
 J. Osis, “Software development with topological model in the framework of MDA,” in Proceedings of the 9th CaiSE/IFIP8.1/EUNO International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD’2004) in connection with the CaiSE’2004. Riga, Latvia: RTU, 2004.
 J. Osis and E. Asnina, “Topological Modeling for Model-Driven Domain Analysis and Software Development,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York: USA, IGI Global, 2011, pp. 15-39. http://dx.doi.org/10.4018/978-1-61692-874-2.ch002
 W. F. Basener, Topology and Its Applications. New Jersey: John Wiley and Sons, Inc., 2006. http://dx.doi.org/10.1002/9780470067949
 J. Osis, E. Asnina and A. Grave, “Formal Problem Domain Modeling within MDA,” in Communications in Computer and Information Science (CCIS). Software and Data Technologies. Berlin: Springer-Verlag, 2008, pp. 387-398. http://dx.doi.org/10.1007/978-3-540-88655-6_29
 J. Osis and E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61692-874-2
 U. Donins, J. Osis, A. Slihte, E. Asnina, and B. Gulbis, “Towards the Refinement of Topological Class Diagram as a Platform Independent Model,” in Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, 2011, pp. 79-88.
 J. Osis, E. Asnina, A.Grave, “Formal Computation Independent Model of the Problem Domain within the MDA,” in Information Systems and Formal Models, Proceedings of the 10th International Conference ISIM’07. Opava, Czech Republic: Silesian University, pp. 47-54, 2007.
 J. Osis, E. Asnina, A. Grave, “MDA Oriented Computation Independent Modeling of the Problem Domain,” in Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007). Barcelona, Spain, pp. 66-71, 2007.
 J. Osis and L. Beghi, “Topological modelling of biological systems,” in D. A. Linkens and E. R. Carson (eds) Proceedings of the third IFAC Symposium on Modelling and Control in Biomedical Systems (Including Biological Systems). Oxford, UK: Elsevier Science Publishing, 1997.
 E. Asnina, J. Osis, and A. Jansone, “System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model,” in Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wrocław, 29-30. June, 2012. Portugal: Insticc, 2012.
 T. Murata, “Petri Nets: Properties, Analysis and Applications,” in Proceedings of the IEEE 77, no. 4, 1989, pp. 541-580. http://dx.doi.org/10.1109/5.24143
 L. Kristensen M. S. Christensen and K. Jensen, “The practitioners’ guide to coloured Petri nets,” in Int Journal on Software Tools for Technology Transfer, issue 2. Springer-Verlag, 1998, pp. 98-132. http://dx.doi.org/10.1007/s100090050021
 K. Jensen, “An Introduction to the Theoretical Aspects of Coloured Petri Nets,” in A Decade of Concurrency, Lecture Notes in Computer Science, vol. 803. Springer-Verlag, 1994, pp. 230-272.
 Ch. Lakos, “Object Oriented Modelling with Object Petri Nets,” in Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, Vol. 2001. Springer, 2011, pp. 1-37. http://dx.doi.org/10.1007/3-540-45397-0_1
 L. M. Kristensen, J. B. Jørgensen and K. Jensen, “Application of Coloured Petri Nets in System Development,” in ACPN 2003, LNCS, 3098, edited by J. Desel, W. Reisig and G. Rozenberg. Springer-Verlag Berlin Heidelberg, 2004, pp. 626-685. http://dx.doi.org/10.1007/978-3-540-27755-2_18
 W.M.P. van der Aalst, “The Application of Petri Nets to Workflow Management,” in The Journal of Circuits, Systems and Computers, vol. 8, no. 1, 1998, pp. 21-66.
 L., Dongsheng, J. Wang, S. C. F. Chan, J. Sun, L. Zhang, “Modeling workflow process with colored Petri nets,” in Computers in Industry vol. 49, no. 3, 2002, pp. 267-281. http://dx.doi.org/10.1016/S0166-3615(02)00099-4
 J. Dehnert, “Four Steps Towards Sound Business Process Models, ” in Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber, vol. LNCS 2472. Germany: Springer- Verlag Berlin Heidelberg, 2003, pp. 66-82. http://dx.doi.org/10.1007/978-3-540-40022-6_4
 J. Desel and E. Thomas, “Quantitative Engineering of Business Processes with VIPbusiness,” in Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, Vol. LNCS 2472, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber. Gernamy: Springer-Verlag Berlin Heidelberg, 2003, pp. 219-242. http://dx.doi.org/10.1007/978-3-540-40022-6_11
 V. R. L. Shen, W. Yu-Ying, Y. Cheng-Ying, and Y. Szu-Tso, “Verification of problem-based learning systems using modified petri nets,” in Expert Systems with Applications vol. 39, no. 16 (November 2012), pp. 12636-12649. http://dx.doi.org/10.1016/j.eswa.2012.05.019
 Zh. Xiao, and M. Zhong, “A method of workflow scheduling based on colored Petri nets,” in Data & Knowledge Engineering vol. 70, no. 2 (February 2011), pp. 230-247. http://dx.doi.org/10.1016/j.datak.2010.11.005
 Y. Yi, “An Extended Stochastic Petri Nets Modeling Method for Collaborative Workflow Process,” in Physics Procedia vol. 33, 2012, pp. 1547-1552. http://dx.doi.org/10.1016/j.phpro.2012.05.251
 V. Valentín, H. Macià, J. J. Pardo, M. E. Cambronero, and G. Díaz, “Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets,” in Science of Computer Programming, vol. 77, no. 3 (March 2012), 2012, pp. 290-313. http://dx.doi.org/10.1016/j.scico.2011.05.002
 S. Chemaa, F. Bachtarzi, and A. Chaoui, “A High-level Petri Net Based Approach for Modeling and Composition of Web Services,” in Procedia Computer Science 9, 2012, pp. 469-478. http://dx.doi.org/10.1016/j.procs.2012.04.050