CPN.Net: An Automated Colored Petri Nets Model Extraction From .Net Based Source Code

Abstract

Multithreaded and parallel software systems are notably difficult to test due to their nature of non-determinism. Researchers from the literature suggested formal modeling and model checking to verify such systems. However, manual construction of models and abstractions of such systems could be time consuming, tiresome, and error prone. Automated models extraction approaches are necessary. In this study, we propose an approach to automatically extract Colored Petri Nets model from source code. Moreover, we establish a set of mapping rules to translate control flow graphs to Colored Petri Nets.