Transforming Flowchart into Coloured Petri Nets

Flowchart is a common graphical representation of a process or step-by-step solution for a problem simply drawn in the software design stage. A flowchart helps visualize how an algorithm works to solve a problem better than the program source code. However, it is crucial and beneficial to validate the correct behavior of the flowchart automatically using the formal methods. In this paper, we propose a scheme of transforming a basic flowchart into a coloured Petri net so that the designated model could be validated beforehand. A set of mapping rules is proposed to construct the resulting coloured Petri net from a given flowchart. The basic data types, including integer, boolean, and string, are coped in order to simulate the changing of state of variables in the flowchart. The resulting coloured Petri net are simulated and verified to ensure the correctness of its behavior using CPN tools.

[1]  Luis Gomes,et al.  Dataflow model property verification using Petri net translation techniques , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[2]  Wiwat Vatanawood,et al.  Generating of business rules for Coloured Petri Nets , 2016, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS).

[3]  Wiwat Vatanawood,et al.  Translation UML activity diagram into colored Petri net with inscription , 2016, 2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE).

[4]  Lars Michael Kristensen,et al.  Introduction to Modelling and Validation , 2009 .

[5]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[6]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[7]  Ned Chapin,et al.  Flowcharting With the ANSI Standard: A Tutorial , 1970, CSUR.

[8]  Said Meghzili,et al.  On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL , 2017, 2017 IEEE International Conference on Information Reuse and Integration (IRI).

[9]  Harley R. Myler Fundamentals of Engineering Programming with C and Fortran , 1998 .