Introduction to Conversion of Control Software Structured Model into Coloured Petri Net
Bartosz Trybuś · Theoretical and Applied Informatics · 2007
By using typical example, conversion of software model created according to Structured Design for Real-Time Systems method into equivalent model in the form of Coloured Petri Net is presented. This opens possibility of rigorous analysis of informal SDRTS design by means of CPN formalism. Controller software for a common double function boiler is considered. The SDRTS model consists of Transformation Graphs and State Transition Diagrams. Basic rules for conversion of TRGs and STDs into CPNs are given. Two other short examples involving CPNs are also presented.