Coloured Petri net model of application specific logic controller programs

A new class of Petri nets, called coloured control interpreted Petri nets (CCIPN), is introduced. The advantages of CCIPN modelling for specification of logic controller programs are shown. We combine the coloured interpreted Petri nets (treated as an object) with the object-oriented controlled part. Apart from several papers we do not specify the coloured tokens as dynamically evaluated composite objects, but as a part of the object. The net is constructed from the simpler objects that are related with VHDL entities from the user-defined library. The formal objects that describe the controlled part (electro-mechanical system) are related with the coloured tokens in the Petri net. The linked coloured Petri nets that describe the objects are combined with a coloured Petri net specifying the logic controller. They are refined and combined into a complete Petri net system (total model). It may be simulated, verified and synthesized in a user-friendly VHDL environment, collaborating with our experimental design tools. Our technique is illustrated by presenting a solution to the popular “tank filling” problem. The proposed methods are especially useful in designing of industrial application specific logic controller with FPLD (FPGA and CPLD)