The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets
und
27. Jan. 2015
Über diesen Artikel
Online veröffentlicht: 27. Jan. 2015
Seitenbereich: 77 - 84
DOI: https://doi.org/10.1515/acss-2014-0016
Schlüsselwörter
© Riga Technical University
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
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.