Introduction to Conversion of Control Software Structured Model into Coloured Petri Net

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.

[1]  B. Zielinski.  Physical properties and medium access control for wireless ad-hoc networks , 2005, Proceedings. 2005 International Conference Physics and Control, 2005..

[2]  Jing Deng,et al.  Dual busy tone multiple access (DBTMA)-a multiple access control scheme for ad hoc networks , 2002, IEEE Trans. Commun..

[3]  P. Karn,et al.  MACA-a New Channel Access Method for Packet Radio , 1990 .

[4]  J. J. Garcia-Luna-Aceves,et al.  Floor acquisition multiple access (FAMA) for packet-radio networks , 1995, SIGCOMM '95.

[5]  Leonard Kleinrock,et al.  Spatial TDMA: A Collision-Free Multihop Channel Access Protocol , 1985, IEEE Trans. Commun..

[6]  Jing Deng,et al.  Dual busy tone multiple access (DBTMA)-performance results , 1999, WCNC. 1999 IEEE Wireless Communications and Networking Conference (Cat. No.99TH8466).

[7]  J. J. Garcia-Luna-Aceves,et al.  Complete single-channel solutions to hidden terminal problems in wireless LANs , 1997, Proceedings of ICC'97 - International Conference on Communications.

[8]  B. Zieliński.  Contention Wireless MAC Protocols Using Carrier Detection , 2006 .