Application of coloured Petri net for design of SMC controller communication subsystem

Timed CPN model of SMC controller communication subsystem is described. SMC controller operates as central unit in a small distributed control-and-measurement system from LUMEL Zielona Gora. SMC is programmed in ST language available in CPDev design environment. Implementation of the communication subsystem involves communication tasks created during the design stage and executed by SMC taking into account priorities and timeouts.