<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

Applied Computer Systems

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...

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

Publié en ligne: 27 janv. 2015

Pages: 77 - 84

DOI: https://doi.org/10.1515/acss-2014-0016

Mots clés
Control flows, data flows, model verification, Petri nets, topological functioning model

© Riga Technical University

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

Publié en ligne: 27 janv. 2015

Pages: 77 - 84

DOI: https://doi.org/10.1515/acss-2014-0016

Mots clésControl flows, data flows, model verification, Petri nets, topological functioning model

© Riga Technical University

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Mots clés
Control flows, data flows, model verification, Petri nets, topological functioning model