<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

Pubblicato online: 27 gen 2015

Pagine: 77 - 84

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

Parole chiave
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

Pubblicato online: 27 gen 2015

Pagine: 77 - 84

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

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

Parole chiave
Control flows, data flows, model verification, Petri nets, topological functioning model