Both Petri nets and oriented graphs are simultaneously utilized in order to repre-sent knowledge determined for using at control synthesis of discrete event dynamic systems (DEDS). Such an approach yields the hybrid system of knowledge representation in analytical terms. The knowledge inference is expressed analytically too. Particulars of this approach are explained on illustrative examples.
展开▼