Transforming Flowchart into Coloured Petri Nets
暂无分享,去创建一个
[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 .