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

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

Full description

Bibliographic Details
Main Authors: Asnina Erika, García-Bustelo Begoña Cristina Pelayo
Format: Article
Language:English
Published: Sciendo 2014-12-01
Series:Applied Computer Systems
Subjects:
Online Access:https://doi.org/10.1515/acss-2014-0016