CN103699048A - Method for converting PLC (Programmable Logic Controller) up-counter to sequence Petri net - Google Patents

Abstract

The invention relates to a method for converting a PLC (Programmable Logic Controller) up-counter to sequence Petri net model. The method comprises the following steps: constructing a sequence Petri net model according to an up-counter (CTU) defined according to IEC61131-3, respectively simulating ports by using places, simulating the change condition of the port state by transition, and simulating internal execution condition by transition according to the execution rule of the up-counter; adding sequence control places to control the transition of a firstly excited input end and a reset end to complete input sampling; controlling the interior of the up-counter to execute transition excitation, completing the execution period, finally controlling transition excitation of an output (Q) to complete the output period. The Petri net model constructed by the method fits PLC circular scanning work mode, and can dynamically simulate the execution process of the up-counter by using software, thereby completing program simulation and verification by using a computer.

Description

A kind of PLC is added to the method that counter is converted to order Petri net

Technical field

The present invention relates to a kind of PLC be added to the method that counter is converted to order Petri net.

Background technology

Programmable logic controller (PLC) (Programmable Logic Controller, PLC) (also can be described as Programmable Logic Controller (Programmable Controller, PC)) be typical controller in industrial control system, PLC develops on the basis of electrical equipment control technology and computer technology, and develop into gradually and take microprocessor as core, the infant industry control device that automatic technology, computer technology, the communication technology are combined together.

At present, in the programming language of PLC, ladder diagram still accounts for leading status.Use trapezoidal pattern programming language to carry out skilled design, first will learn the courses such as relay logic, and constantly train and accumulate experience.Yet, along with PLC systemic-function from strength to strength, ladder diagram becomes and becomes increasingly complex, the frequency breaking down is also more and more.In large-scale industrial control system, the fault of generation tends to cause catastrophic consequence.

In order to solve above-mentioned engineering problem, we need to develop emulation and the verification method of PLC program, utilize computing machine to complete procedure simulation and checking work, both can reduce program development cost, can guarantee program correctness and reliability again.Therefore, need to be the mathematical model of the computer that verification tool can be identified by PLC process simulation, be about to PLC programmed instruction and be converted to a kind of mathematical model of the computer-Petri net.

Petri net is nineteen sixty Germany scientist Ka Er A Petri at his PhD dissertation < < with proposing in automat communication > >.It provides, and a kind of to take figure and mathematics be basic Formal Modeling, and the structure of descriptive system, makes it both can adopt mathematical analysis preferably, can vividly describe out by figure the operational process of system again.

Summary of the invention

The object of the present invention is to provide a kind of PLC to be added to the method that counter is converted to order Petri net, the Petri pessimistic concurrency control of structure can be simulated the implementation that adds counter, thereby utilizes computing machine to complete procedure simulation and checking work.

The present invention is a kind of adds by PLC the method that counter is converted to order Petri net, specifically comprises the steps:

Step 1, to adding input end and the reset terminal of counter, change:

Step 1.1 by the register that adds counter input end be modeled as storehouse set

p wherein _{i, on}, p _{i, off}, p _{i, rise}represent respectively to add three kinds of states of the register of counter input end: high level state, low level state, from disconnecting, point to the switching state of connecting;

Step 1.2 is by the p of storehouse institute _{i, off}become the p of storehouse institute _{i, on}process simulation be transition t _{i, off, on}, by the p of storehouse institute _{i, on}become the p of storehouse institute _{i, off}process simulation be transition t _{i, on, off}, add the p of storehouse institute _{i, off}point to transition t _{i, off, on}directed arc, add transition t _{i, off, on}point to the p of storehouse institute _{i, on}directed arc; Add the p of storehouse institute _{i, on}point to transition t _{i, on, off}directed arc, add transition t _{i, on, off}point to the p of storehouse institute _{i, off}directed arc; Add transition t _{i, off, on}point to the p of storehouse institute _{i, rise}directed arc, the directed arc set of gained

${F_i}_1=\{(p_{i,\mathrm{off}},t_{i,\mathrm{off},\mathrm{on}}),(p_{i,\mathrm{on}},t_{i,\mathrm{on},\mathrm{off}}),(t_{i,\mathrm{off},\mathrm{on}},p_{i,\mathrm{on}}),(t_{o,\mathrm{off},\mathrm{on}},p_{i,\mathrm{rise}}),(t_{i,\mathrm{on},\mathrm{off}},p_{i,\mathrm{off}})\},$

The transition set of gained ${\mathrm{<figure-callout\; id="1"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{i_{}}=\{t_{i,\mathrm{off},\mathrm{on}},t_{i,\mathrm{on},\mathrm{off}}\};$

Step 1.3, when adding counter reset terminal and be high level, adds the zero clearing of counter currency, is output as low level, and the register that adds counter reset terminal is modeled as to P that gather in storehouse _r={ p _{r, on}, p _{r, off}, the p of storehouse institute wherein _{r, on}, p _{r, off}the two states that represents respectively reset terminal register: high level state, low level state, gather in storehouse $P_{i_{}}$ ${{}_2}_{}=P_r;$

Step 1.4 is by the p of storehouse institute _{r, off}become the p of storehouse institute _{r, on}process simulation be transition t _{r, off, on}, by the p of storehouse institute _{r, on}become the p of storehouse institute _{r, off}process simulation be transition t _{r, on, off}, add the p of storehouse institute _{r, off}point to transition t _{r, off, on}directed arc, add the p of storehouse institute _{r, on}point to transition t _{r, on, off}directed arc; Add transition t _{r, off, on}point to the p of storehouse institute _{r, on}directed arc, add transition t _{r, on, off}point to the p of storehouse institute _{r, off}directed arc, the directed arc set of gained

wherein

F ₁={ (p _{r, off}, t _{r, off, on}), (p _{r, on}, t _{r, on, off}), (t _{r, off, on}, p _{r, on}), (t _{r, on, off}, p _{r, off}), gained transition set ${{\mathrm{<figure-callout\; id="2"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_i}_2=\{t_{r,\mathrm{off},\mathrm{on}},t_{r,\mathrm{on},\mathrm{off}},t_{\mathrm{ld},\mathrm{off},\mathrm{on}},t_{\mathrm{ld},\mathrm{on},\mathrm{off}}\};$

Step 1.5 has now completed the Petri net modeling that counter is inputted the cycle that adds that does not add scan round, is next that input end and reset terminal increase sequential control, first input end is sampled, and builds a control places S ₀represent to start to deposit the state of input end in register, build a control places S ₁represent that input end deposits EO in, also represent to start to deposit the state of reset terminal in register the control places set of gained simultaneously ${S_i}_1=\{{\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,s_1\};$

Any one state of step 1.6 input end has two kinds of situations of change, and the input end when a upper cycle is low level, and current period can be high level, or is still low level, by low transition, is that low level process simulation is transition t _{i, off, off}, the process simulation that high level is converted to high level is transition t _{i, on, on}, add the p of storehouse institute _{i, on}point to transition t _{i, on, on}two-way arc; Add the p of storehouse institute _{i, off}point to transition t _{i, off, off}two-way arc;

The p of storehouse institute _{i, on, on}represented that when a upper cycle be that high level and current period are still high level, from control places S ₀start the state of input end to be stored in register until control places S ₁, add the S of storehouse institute ₀point to transition t _{i, off, off}, t _{i, on, on}, t _{i, off, on}, t _{i, on, off}directed arc, add transition t _{i, off, off}, t _{i, on, on}, t _{i, off, on}, t _{i, on, off}point to control places S ₁directed arc; Add transition t _{i, on, on}point to the p of storehouse institute _{i, on, on}directed arc, the directed arc set of gained ${F_i}_3={\mathrm{<figure-callout\; id="0"\; label="F\; s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{s_{}}\&cup;F_{t,{\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1}\&cup;F_{i,1}\&cup;F_{i,2}\&cup;F_{i,3},$

Wherein:

${\mathrm{<figure-callout\; id="0"\; label="F\; s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{s_{}}=\{({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{off},\mathrm{off}}),({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{on},\mathrm{on}}),({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{off},\mathrm{on}}),({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{on},\mathrm{off}})\};$

$F_{t,{\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1}=\{(t_{i,\mathrm{off},\mathrm{off}},s_1),(t_{i,\mathrm{on},\mathrm{on}},s_1),(t_{i,\mathrm{off},\mathrm{on}},s_1),(t_{i,\mathrm{on},\mathrm{off}},s_1)\};$

F _i,1={(t _i,on,on,p _i,on,on)}，F _i,2={(t _i,on,on,p _i,on),(p _i,on,t _i,on,on)}；

F _i,3={(t _i,off,off,p _i,off),(p _i,off,t _i,off,off)}；

The set of gained transition $T_{i_3}=\{t_{i,\mathrm{on},\mathrm{on}},t_{i,\mathrm{off},\mathrm{off}}\},$ Gather in the storehouse of gained ${P_i}_3=\left\{p_{i,\mathrm{on},\mathrm{on}}\right\};$

The state of step 1.7 pair reset terminal is sampled, and builds a control places S ₂represent that reset terminal sampling finishes, and namely inputs end cycle; Build transition t _{r, off, off}, t _{r, on, on}represent that respectively reset terminal low level becomes low level, high level becomes high level, add the p of storehouse institute _{r, on}point to transition t _{r, on, on}two-way arc; Add the p of storehouse institute _{r, off}point to transition t _{r, off, off}two-way arc, the sampling of reset terminal is from the end of input end, so add control places S ₁point to transition t _{r, off, off}, t _{r, on, on}, t _{r, off, on}, t _{i, on, off}directed arc; Add transition t _{r, off, off}, t _{r, on, on}, t _{r, off, on}, t _{i, on, off}point to control places S ₂directed arc, the directed arc set of gained ${{\mathrm{<figure-callout\; id="4"\; label="F\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_i}_4={\mathrm{<figure-callout\; id="1"\; label="F\; s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{s_{}}\&cup;F_{t,{\mathrm{<figure-callout\; id="2"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_2}\&cup;F_{r,1}\&cup;F_{r,2}\&cup;F_{r,3}$ Wherein:

${\mathrm{<figure-callout\; id="1"\; label="F\; s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{s_{}}=\{({\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t_{r,\mathrm{off},\mathrm{off}}),({\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t_{r,\mathrm{on},\mathrm{on}}),({\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t_{r,\mathrm{off},\mathrm{on}}),\left({{\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t}_{r,\mathrm{on},\mathrm{off}}\right)\};$

$F_{t,{\mathrm{<figure-callout\; id="2"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_2}=\{(t_{r,\mathrm{off},\mathrm{off}},s_2),(t_{r,\mathrm{on},\mathrm{on}},s_2),(t_{r,\mathrm{off},\mathrm{on}},s_2),(t_{r,\mathrm{on},\mathrm{off}},s_2)\};$

F _r,1={(t _r,on,on,p _r,on,on)}，F _r,2={(t _r,on,on,p _r,on),(p _r,on,t _r,on,on)}；

F _{r, 3}={ (t _{r, off, off}, p _{r, off}), (p _{r, off}, t _{r, off, off}), the set of gained transition

Step 1.8 input magazine collects transition set $T_i={T_i}_1\&cup;{T_i}_2\&cup;T_{i_3}\&cup;{T_i}_3{\&cup;T_i}_4,$ Directed arc set $F_i={F_i}_1\&cup;{F_i}_2\&cup;F_{i_3}\&cup;{F_i}_3{\&cup;F_i}_4;$

Step 2, to adding counter operating part, change:

When reset terminal is high level, no matter what state input end is, add counter O reset;

Create a control places S ₃represent that cleared condition, corresponding input end register have three kinds of situations to make to add counter and enter cleared condition: three kinds of states of input end register are respectively low level state, rising edge state, high level state, the corresponding transition of each state are respectively: t _{c, on, off}, t _{c, on, rise}, t _{c, on, on};

Add control places S ₂point to transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}directed arc; Add the p of storehouse institute _{r, on}point to transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}two-way arc; Add the p of storehouse institute _{i, off}point to transition t _{c, on, off}two-way arc; Add the p of storehouse institute _{i, rise}point to transition t _{c, on, rise}directed arc; Add the p of storehouse institute _{i, on, on}point to transition t _{c, on, on}directed arc; Add transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}point to the S of storehouse institute ₃directed arc;

Create a control places S ₄represent disarmed state, have two states not exert an influence to the current output state that adds counter, use transition t _{c, null,}1 represents that input end is that high level, reset terminal are low level; Use transition t _{c, null, 2}expression input end is that low level, reset terminal are low level;

Add the p of storehouse institute _{i, on, on}point to transition t _{c, null, 1}directed arc; Add the p of storehouse institute _{i, off}point to transition t _{c, null, 2}two-way arc; Add the p of storehouse institute _{r, off}point to transition t _{c, null, 1}, t _{c, null, 2}two-way arc; Add control places S ₂point to transition t _{c, null, 1}, t _{c, null, 2}directed arc; Add transition t _{c, null, 1}, t _{c, null, 2}point to control places S ₄directed arc; The control places set of gained:

S _c={ S ₃, S ₄, transition set T _c={ t _{c, on, off}, t _{c, on, rise}t _{c, on, on}, t _{c, null, 1}, t _{c, null, 2}, directed arc set $F_c={{\mathrm{<figure-callout\; id="1"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_2\&cup;F_{c_3}\&cup;{{\mathrm{<figure-callout\; id="4"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_4{\&cup;F_c}_5,$ Wherein:

${{\mathrm{<figure-callout\; id="1"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_1=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{on},\mathrm{off}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{off}}),(p_{i,\mathrm{off},},t_{c,\mathrm{on},\mathrm{off}}),(t_{c,\mathrm{on},\mathrm{off}},p_{r,\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{off}},p_{i,\mathrm{off}}),(t_{c,\mathrm{on},\mathrm{off}},S_3)\};$

${{\mathrm{<figure-callout\; id="2"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_2=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{on},\mathrm{rise}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{rise}}),(p_{i,\mathrm{rise},},t_{c,\mathrm{on},\mathrm{rise}}),(t_{c,\mathrm{on},\mathrm{rise}},p_{r,\mathrm{on}}),(p_{i,\mathrm{rise}},S_3)\};$

${F_c}_3=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{on},\mathrm{on}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{on}}),(p_{i,\mathrm{on},\mathrm{on}},t_{c,\mathrm{on},\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{on}},p_{r,\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{on}},S_3)\};$

${{\mathrm{<figure-callout\; id="4"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_4=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{null},2}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},2}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},2}),(t_{c,\mathrm{null},2},p_{i,\mathrm{off}}),(t_{c,\mathrm{null},2},p_{r,\mathrm{off}}),(t_{c,\mathrm{null},2},S_4)\};$

${F_c}_5=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{null},1}),(p_{i,\mathrm{on},\mathrm{on}},t_{c,\mathrm{null},1}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},1}),(t_{c,\mathrm{null},1},p_{r,\mathrm{off}}),(t_{c,\mathrm{null},1},S_4)\};$

Step 2.1 will add counter currency register and be modeled as two couples of p of storehouse institute _{c, ctu, max}, p _{c, ctu, now}, the p of storehouse institute wherein _{c, ctu, max}represent to add the maximal value that counter can be counted; The p of storehouse institute _{c, ctu, now}represent to add counter currency; When adding counter, meet while adding 1 state, from the p of storehouse institute _{c, ctu, max}take out a holder and agree be put into the p of storehouse institute _{c, ctu, now}in, if the p of storehouse institute _{c, ctu, now}in holder agree number and be more than or equal to while adding counter preset value PV, add counter output high level, the storehouse of gained is gathered and is ${{\mathrm{<figure-callout\; id="1"\; label="P\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">P</figure-callout>}}_{\mathrm{ctu}}}_1=\{p_{c,\mathrm{ctu},\mathrm{now}},p_{c,\mathrm{ctu},\max }\};$

Step 2.2 is by the p of storehouse institute _{c, ctu, max}take out a holder and agree be put into the p of storehouse institute _{c, ctu, now}process simulation be transition t _{ctu, max, now}, and transition excite satisfied condition to have three: input sample finishes and in reset mode, input end, is not or not rising edge state, reset terminal end are low level state;

Add the p of storehouse institute _{c, ctu, max}point to transition t _{ctu, max, now}directed arc; Add transition t _{ctu, max, now}point to the p of storehouse institute _{c, ctu, now}directed arc; Add control places S ₂point to transition t _{ctu, max, now}directed arc; Add the p of storehouse institute _{i, rise}point to transition t _{ctu, max, now}directed arc; Add the p of storehouse institute _{r, off}point to transition t _{ctu, max, now}two-way arc; The transition set of gained ${\mathrm{<figure-callout\; id="1"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{{\mathrm{ctu}}_{}}=\left\{t_{\mathrm{ctu},\max ,\mathrm{now}}\right\},$ Directed arc set:

$\begin{array}{c}{\mathrm{<figure-callout\; id="1"\; label="F\; ct\; u"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{\mathrm{ct}{u}_{}}=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{i,\mathrm{rise}},t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{c,\mathrm{ctu},\max },t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{r,\mathrm{off}},t_{\mathrm{ctu},\max ,\mathrm{now}})\\ ,(t_{\mathrm{ctu},\max ,\mathrm{now}},p_{r,\mathrm{off}}),(t_{\mathrm{ctu},\max ,\mathrm{now}},p_{c,\mathrm{ctu},\mathrm{now}})\};\end{array}$

Step 2.3 adds should judge after counter often adds once that whether add counter currency is more than or equal to and adds counter preset value PV, creates a control places S ₅represent that adding counter often adds state once, control places S ₅also represent that current period adds rolling counters forward complete, add transition t _{ctu, max, now}point to control places S ₅directed arc, directed arc set ${\mathrm{<figure-callout\; id="2"\; label="F\; ct\; u"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{\mathrm{ct}{u}_{}}=\left\{(t_{\mathrm{ctu},\max ,\mathrm{now}},S_5)\right\},$ Control places set: ${{\mathrm{<figure-callout\; id="1"\; label="S\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_{\mathrm{ctu}}}_1=\left\{s_5\right\};$

Step 2.4 is by the p of storehouse institute _{c, ctu, now}interior holder agree all take out and put into the p of storehouse institute _{c, ctu, max}interior process is called and adds counter O reset process, is modeled as transition t _{ctu, now, max}; Transition t _{ctu, now, max}excite a holder of taking-up to agree put into the p of storehouse institute at every turn _{c, ctu, max}in, if the initial storehouse p of institute _{c, ctu, now}inside there are a plurality of holders to agree, transition t _{ctu, now, max}occur repeatedly; Transition t _{ctu, now, max}condition is to add counter in cleared condition, adds control places S ₃point to transition t _{ctu, now, max}two-way arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{ctu, now, max}directed arc; Add transition t _{ctu, now, max}point to the p of storehouse institute _{c, ctu, max}directed arc; Create a transition t _{ctu, now, null}the judgement p of storehouse institute _{c, ctu, now}interior not holder is agree; Add and control S ₃point to transition t _{ctu, now, null}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{ctu, now, null}two-way arc and weights be to add the maximal value PvMax that counter can be counted;

The transition set of gained ${{\mathrm{<figure-callout\; id="2"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{\mathrm{ctu}}}_2=\{t_{\mathrm{ctu},\mathrm{now},\max },t_{\mathrm{ctu},\mathrm{now},\mathrm{null}}\},$ Directed arc set ${F_{\mathrm{ctu}}}_3=F_{\mathrm{now},\max }\&cup;F_{\mathrm{now},\mathrm{null}},$ Wherein

F _now,max={(S ₃,t _ctu,now,max),(p _c,ctu,now,t _ctu,now,max),(t _ctu,now,max,S ₃),(t _ctu,now,max,p _c,ctu,max)}；F _now,null={(S ₃,t _ctu,now,null),(p _c,ctu,max,t _ctu,now,null),(t _ctu,now,null,p _c,ctu,max)}；

Step 2.5 adds counter internal library and gathers

transition set $T_{\mathrm{ctu}}=T_c\&cup;T_{\mathrm{ct}{u}_1}\&cup;{{\mathrm{<figure-callout\; id="2"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{\mathrm{ctu}}}_2,$ Directed arc set $F_{\mathrm{ctu}}=F_{c{\mathrm{tu}}_1}\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{\mathrm{ctu}}}_2\&cup;{F_{\mathrm{ctu}}}_3\&cup;F_{{\mathrm{ctu}}_3}\&cup;F_c;$

Step 3, the output that adds counter is converted to Petri net:

Add counter and can only export high level or low level, this two states is modeled as to the p of storehouse institute _{o, ctu, on}, p _{o, ctu, off}, storehouse collects ${{\mathrm{<figure-callout\; id="1"\; label="P\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">P</figure-callout>}}_o}_1=\{p_{o,\mathrm{ctu},\mathrm{on}},p_{o,\mathrm{ctu},\mathrm{off}}\};$

The combinations of states of input end and reset terminal is divided into three kinds: reset mode, count status, do not affect the state that adds counter currency;

Step 3.1, when adding counter in reset mode, is output as low level, transition t _{ctu, now, null}the judgement p of storehouse institute _{c, ctu, now}interior not holder is agree, and output terminal output low level, adds transition t _{ctu, now, null}point to the p of storehouse institute _{o, ctu, off}directed arc, the set of gained directed arc ${F_o}_1=\left\{(t_{\mathrm{ctu},\mathrm{now},\mathrm{null}},p_{o,\mathrm{ctu},\mathrm{off}})\right\};$

Step 3.2 is after adding rolling counters forward and finishing and arrive and add counter preset value PV, now adds counter output high level, and this situation is modeled as to transition t _{o, ctu, pv}, add control places S ₅point to transition t _{o, ctu, pv}directed arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, pv}two-way arc and weights for adding counter preset value PV; Output terminal output high level, adds transition t _{o, ctu, pv}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set ${T_o}_1=\left\{t_{o,\mathrm{ctu},\mathrm{pv}}\right\},$ Directed arc set:

${{\mathrm{<figure-callout\; id="2"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_2=\{(S_5,t_{c,\mathrm{ctu},\mathrm{pv}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{pv}}),(t_{o,\mathrm{ctu},\mathrm{pv}},p_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{pv}},p_{c,\mathrm{ctu},\mathrm{now}})\};$

Step 3.3 does not reach and adds counter preset value PV after adding rolling counters forward and finishing, and now adds counter output low level, and this situation is modeled as to transition t _{o, ctu, lpv}, add control places S ₅point to t _{o, ctu, lpv}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{o, ctu, lpv}two-way arc and weights be PvMax-PV+1; Due to output terminal output low level, so add transition t _{o, ctu, lpv}point to the p of storehouse institute _{o, ctu, off}directed arc, gained transition set

directed arc set:

${F_o}_3=\{(S_5,t_{o,\mathrm{ctu},\mathrm{lpv}}),(p_{c,\mathrm{ctu},\max },t_{o,\mathrm{ctu},\mathrm{lpv}}),(t_{o,\mathrm{ctu},\mathrm{lpv}},p_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{lpv}},p_{c,\mathrm{ctu},\max })\};$

Step 3.4 is not after adding counter input sample when affecting the state that adds counter currency, and the Output rusults of current period is identical with a upper cycle, and both of these case is modeled as to transition t _{o, ctu, on}, t _{o, ctu, off}, transition t wherein _{o, ctu, on}represent upper cycle output high level; Transition t _{o, ctu, off}represent a upper cycle output low level, control places S ₄just represent to add counter in this state, the p of library representation institute when a upper cycle is low level _{c, ctu, max}interior holder is agree number for PvMax-PV+1, so interpolation control places S ₄point to transition t _{o, ctu, off}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{o, ctu, off}two-way arc and weights be PvMax-PV+1; Add transition t _{o, ctu, off}point to the p of storehouse institute _{o, ctu, off}directed arc, as the p of storehouse institute _{c, ctu, now}interior holder agree count to be more than or equal to add counter preset value PV, represents upper cycle output high level, so add control places S ₄point to transition t _{o, ctu, on}directed arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, on}two-way arc and weights for adding counter preset value PV; Add transition t _{o, ctu, on}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set

directed arc set:

${F_o}_4=\{({\mathrm{<figure-callout\; id="4"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_4,t_{c,\mathrm{ctu},\mathrm{off}}),(p_{c,\mathrm{ctu},\max },t_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{off}},p_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{off}},p_{c,\mathrm{ctu},\max })\};$

${F_o}_5=\{(S_5,t_{o,\mathrm{ctu},\mathrm{on}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{on}},p_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{on}},p_{c,\mathrm{ctu},\mathrm{now}})\};$

Step 3.5 is when adding counter when the last cycle has count down to maximal value, and current period adds counter and still meets counting condition, now adds counter and does not carry out work and output state and remain high level, and this situation is modeled as to transition t _{o, ctu, full}, add control places S ₂point to transition t _{o, ctu, full}directed arc; Add the p of storehouse institute _{i, rise}point to transition t _{o, ctu, full}directed arc; Add the p of storehouse institute _{r, off}point to transition t _{o, ctu, full}two-way arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, full}two-way arc and weights be PvMax; Add transition t _{o, ctu, full}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set

the set of gained directed arc:

$\begin{array}{c}{F}_{o_6}=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{o,\mathrm{ctu},\mathrm{full}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{full}}),(p_{i,\mathrm{rise}},t_{o,\mathrm{ctu},\mathrm{full}}),(p_{r,\mathrm{off}},t_{o,\mathrm{ctu},\mathrm{full}}),\left(t_{o,\mathrm{ctu},\mathrm{full},p_{r,\mathrm{off}}}\right)\\ ,(t_{o,\mathrm{ctu},\mathrm{full}},p_{c,\mathrm{ctu},\mathrm{now}}),(t_{o,\mathrm{ctu},\mathrm{full}},p_{o,\mathrm{ctu},\mathrm{on}})\};\end{array}$

Step 3.6 adds counter output transition set

, directed arc set $F_{\mathrm{ctu},o}={{\mathrm{<figure-callout\; id="1"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_2\&cup;F_{o_3}\&cup;{F_o}_3{\&cup;F_o}_5\&cup;{F_o}_6;$

Step 4, output add the Petri pessimistic concurrency control of counter:

Add the Petri net storehouse collection of counter as P=P _{ctu, i}∪ P _ctu∪ P _{ctu, o}, transition set is T=T _{ctu, i}∪ T _ctu∪ T _{ctu, o}, directed arc set is F=F _{ctu, i}∪ F _ctu∪ F _{ctu, o}, obtain a common Petri net N _ctu:=(P, T; F) and preliminary examination sign m ₀.

The present invention is a kind of by the method that counter is converted to order Petri pessimistic concurrency control that adds of PLC, according to IEC61131-3 definition, add counter (CTU) Build Order Petri pessimistic concurrency control, respectively with analog port that storehouse is come, situation of change with transition analog port state, and according to the executing rule that adds counter, by transition simulated interior implementation status; Increase sequential control storehouse institute, control the transition that first excite input end, reset terminal, complete input sample; Then control to carry out and add that counter is inner to be carried out transition and excite, complete the performance period, the transition of finally controlling output (Q) excite, and complete the output cycle; The present invention is by increasing sequential control storehouse institute, and the Petri pessimistic concurrency control that makes to build meets the working method of PLC scan round; The constructed Petri pessimistic concurrency control of the present invention can be simulated the implementation that adds counter, can use its implementation of software dynamic similation, thereby can utilize computing machine to complete procedure simulation and checking work.

Accompanying drawing explanation

Fig. 1 is by the ordinary Petri net that adds counter and convert in the present invention;

Fig. 2 is the PLC trapezoid figure program schematic diagram of the embodiment of the present invention 1 fruit fixed number vanning;

Fig. 3 is the ordinary Petri net that the PLC trapezoid figure program of the embodiment of the present invention 1 correspondence converts to.

Below in conjunction with drawings and Examples, the invention will be further described.

Embodiment

The present invention has provided and a kind of PLC has been added to the method that counter is converted to order Petri net, and described order Petri net refers to by increasing sequential control storehouse institute, and the Petri pessimistic concurrency control that makes to build meets the working method of PLC scan round.

The present invention adds counter (CTU) Build Order Petri net according to IEC61131-3 definition, respectively with analog port that storehouse is come: input end (CU), reset terminal (R), export (Q), add counter currency (CV); By the situation of change of transition analog port state, and according to the executing rule that adds counter, by transition simulated interior implementation status; Increase sequential control storehouse institute, control the transition that first excite input end (CU), reset terminal (R), complete input sample; Then control to carry out and add that counter is inner to be carried out transition and excite, complete the performance period; The transition of finally controlling output (Q) excite, and complete the output cycle.

The present invention is a kind of adds by PLC the method that counter is converted to order Petri net, comprises the steps:

Step 1, to adding input end and the reset terminal of counter (CTU), change:

Step 1.1 can have countless a plurality ofly owing to adding contact on counter input path, but only has an input end, thus in order to simplify Petri net figure, by the internal register that adds counter input end be modeled as storehouse set can ignore like this contact number on input path, only consider that it is high level or low level, wherein p that input path is transferred to input end _{i, on}, p _{i, off}, p _{i, rise}represent respectively to add three kinds of states of counter input end register: high level state, low level state, from disconnecting, point to the switching state of connecting;

Step 1.2 is by the p of storehouse institute _{i, off}become the p of storehouse institute _{i, on}process simulation be transition t _{i, off, on}, by the p of storehouse institute _{i, on}become the p of storehouse institute _{i, off}process simulation be transition t _{i, on, off}, add the p of storehouse institute _{i, off}point to transition t _{i, off, on}directed arc, add transition t _{i, off, on}point to the p of storehouse institute _{i, on}directed arc; Add the p of storehouse institute _{i, on}point to transition t _{i, on, off}directed arc, add transition t _{i, on, off}point to the p of storehouse institute _{i, off}directed arc; The p of storehouse institute _{i, off}become the p of storehouse institute _{i, on}process to be input end point to from disconnecting the switching state of connecting, so also will add transition t _{i, off, on}point to the p of storehouse institute _{i, rise}directed arc, the directed arc set of gained

${{\mathrm{<figure-callout\; id="1"\; label="F\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_i}_1=\{(p_{i,\mathrm{off}},t_{t,\mathrm{off},\mathrm{on}}),(p_{i,\mathrm{on}},t_{i,\mathrm{on},\mathrm{off}}),(t_{i,\mathrm{off},\mathrm{on}},p_{i,\mathrm{on}}),(t_{i,\mathrm{off},\mathrm{on}},p_{i,\mathrm{rise}}),(t_{i,\mathrm{on},\mathrm{off}},p_{i,\mathrm{off}})\},$

The transition set of gained ${\mathrm{<figure-callout\; id="1"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{i_{}}=\{t_{i,\mathrm{off},\mathrm{on}},t_{i,\mathrm{on},\mathrm{off}}\};$

Step 1.3 is the zero clearing of CV end when adding counter reset terminal and be high level, is output as low level, and the register that adds counter reset terminal is modeled as to P that gather in storehouse _r={ p _{r, on}, p _{r, off}, because reset terminal is not effective status at rising edge state, so need not be modeled as storehouse institute, the p of storehouse institute wherein _{r, on}, p _{r, off}the two states that represents respectively reset terminal register: high level state, low level state, gather in storehouse

Step 1.4 is by the p of storehouse institute _{r, off}become the p of storehouse institute _{r, on}process simulation be transition t _{r, off, on}, by the p of storehouse institute _{r, on}become the p of storehouse institute _{r, off}process simulation be transition t _{r, on, off}, add the p of storehouse institute _{r, off}point to transition t _{r, off, on}directed arc, add the p of storehouse institute _{r, on}point to transition t _{r, on, off}directed arc; Add transition t _{r, off, on}point to the p of storehouse institute _{r, on}directed arc, add transition t _{r, on, off}point to the p of storehouse institute _{r, off}directed arc, the directed arc set of gained

wherein

F ₁={(p _r,off,t _r,off,on),(p _r,on,t _r,on,off),(t _r,off,on,p _r,on),(t _r,on,off,p _r,off)}，

Gained transition set ${{\mathrm{<figure-callout\; id="2"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_i}_2=\{t_{r,\mathrm{off},\mathrm{on}},t_{r,\mathrm{on},\mathrm{off}},t_{\mathrm{ld},\mathrm{off},\mathrm{on}},t_{\mathrm{ld},\mathrm{on},\mathrm{off}}\};$

Step 1.5 now, completed the Petri net modeling that counter is inputted the cycle that adds that does not add scan round, next be that input end and reset terminal increase sequential control, adding the input end of counter and the sampling order of reset terminal does not affect execution and the output cycle of program, because the state of sampling can be stored in input register after sampling finishes, the present invention first samples to input end, builds a control places S ₀represent to start to deposit the state of input end in register, build a control places S ₁represent that input end deposits EO in, also represent to start to deposit the state of reset terminal in register the control places set of gained simultaneously

Any one state of step 1.6 input end has two kinds of situations of change, and the input end when a upper cycle is low level, and current period can be high level, or is still low level, by low transition, is that low level process simulation is transition t _{i, off, off}, the process simulation that equally high level is converted to high level is transition t _{i, on, on}, add the p of storehouse institute _{i, on}point to transition t _{i, on, on}two-way arc; Add the p of storehouse institute _{i, off}point to transition t _{i, off, off}two-way arc;

Because introduced the concept of scan round, there is a state to consider: when a upper cycle, be that high level and current period are still high level, this state and a upper cycle are that low level and current period are that high level is different, the p of storehouse institute _{i, on}can only represent the second state, so increase a p of storehouse institute _{i, on, on}represent the first state, next said high level all means the second situation.From control places S ₀start the state of input end to be stored in register until control places S ₁, add control places S ₀point to transition t _{i, off, off}, t _{i, on, on}, t _{i, off, on}, t _{i, on, off}directed arc, add transition t _{i, off, off}, t _{i, on, on}, t _{i, off, on}, t _{i, on, off}point to control places S ₁directed arc; Add transition t _{i, on, on}point to the p of storehouse institute _{i, on, on}directed arc, the directed arc set of gained

${F_i}_3=F_{s_0,t}\&cup;F_{t,{\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1}\&cup;F_{i,1}\&cup;F_{i,2}\&cup;F_{i,3},$

Wherein:

${\mathrm{<figure-callout\; id="0"\; label="F\; s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{s_{}}=\{({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{off},\mathrm{off}}),({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{on},\mathrm{on}}),({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{off},\mathrm{on}}),({\mathrm{<figure-callout\; id="0"\; label="s"\; filenames="HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_0,t_{i,\mathrm{on},\mathrm{off}})\};$

$F_{t,{\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1}=\{(t_{i,\mathrm{off},\mathrm{off}},s_1),(t_{i,\mathrm{on},\mathrm{on}},s_1),(t_{i,\mathrm{off},\mathrm{on}},s_1),(t_{i,\mathrm{on},\mathrm{off}},s_1)\};$

F _i,1={(t _i,on,on,p _i,on,on)}，F _i,2={(t _i,on,on,p _i,on),(p _i,on,t _i,on,on)}；

F _i,3={(t _i,off,off,p _i,off),(p _i,off,t _i,off,off)}；

The set of gained transition $T_{i_3}=\{t_{i,\mathrm{on},\mathrm{on}},t_{i,\mathrm{off},\mathrm{off}}\},$ Gather in the storehouse of gained ${P_i}_3=\left\{p_{i,\mathrm{on},\mathrm{on}}\right\};$

The state of step 1.7 pair reset terminal is sampled, and principle and step 1.5,1.6 identical, build a control places S ₂represent that reset terminal sampling finishes, and namely inputs end cycle; Build transition t _{r, off, off}, t _{r, on, on}represent that respectively reset terminal low level becomes low level, high level becomes high level, add the p of storehouse institute _{r, on}point to transition t _{r, on, on}two-way arc; Add the p of storehouse institute _{r, off}point to transition t _{r, off, off}two-way arc, the sampling of reset terminal is from the end of input end, so add the S of storehouse institute ₁point to transition t _{r, off, off}, t _{r, on, on}, t _{r, off, on}, t _{i, on, off}directed arc; Add transition t _{r, off, off}, t _{r, on, on}, t _{r, off, on}, t _{i, on, off}point to control places S ₂directed arc, the directed arc set of gained ${{\mathrm{<figure-callout\; id="4"\; label="F\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_i}_4=F_{s_1,t}\&cup;F_{t,{\mathrm{<figure-callout\; id="2"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_2}\&cup;F_{r,1}\&cup;F_{r,2}\&cup;F_{r,3}$ Wherein:

${\mathrm{<figure-callout\; id="1"\; label="F\; s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{s_{}}=\{({\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t_{r,\mathrm{off},\mathrm{off}}),({\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t_{r,\mathrm{on},\mathrm{on}}),({\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t_{r,\mathrm{off},\mathrm{on}}),\left({{\mathrm{<figure-callout\; id="1"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_1,t}_{r,\mathrm{on},\mathrm{off}}\right)\};$

$F_{t,{\mathrm{<figure-callout\; id="2"\; label="s"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">s</figure-callout>}}_2}=\{(t_{r,\mathrm{off},\mathrm{off}},s_2),(t_{r,\mathrm{on},\mathrm{on}},s_2),(t_{r,\mathrm{off},\mathrm{on}},s_2),(t_{r,\mathrm{on},\mathrm{off}},s_2)\};$

F _r,1={(t _r,on,on,p _r,on,on)}，F _r,2={(t _r,on,on,p _r,on),(p _r,on,t _r,on,on)}；

F _{r, 3}={ (t _{r, off, off}, p _{r, off}), (p _{r, off}, t _{r, off, off}), the set of gained transition

${{\mathrm{<figure-callout\; id="4"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_i}_4=\{t_{r,\mathrm{on},\mathrm{on}},t_{r,\mathrm{off},\mathrm{off}}\};$

Step 1.8 input magazine collects

transition set $T_i={{\mathrm{<figure-callout\; id="1"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_i}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_i}_2\&cup;{T_i}_3\&cup;{T_i}_3\&cup;{{\mathrm{<figure-callout\; id="4"\; label="T\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_i}_4,$ Directed arc set $F_i={{\mathrm{<figure-callout\; id="1"\; label="F\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_i}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_i}_2\&cup;{F_i}_3\&cup;{F_i}_3\&cup;{{\mathrm{<figure-callout\; id="4"\; label="F\; i"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_i}_4;$

Step 2, to adding counter operating part, change:

When reset terminal is high level, no matter what state input end is, add counter O reset;

Create a S of storehouse institute ₃represent that cleared condition, corresponding input end register have three kinds of situations to make to add counter and enter cleared condition: three kinds of states of input end register are respectively low level state, rising edge state, high level state, the corresponding transition of each state are respectively: t _{c, on, off}, t _{c, on, rise}, t _{c, on, on};

Add the S of storehouse institute ₂point to transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}directed arc; Add the p of storehouse institute _{r, on}point to transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}two-way arc; Add the p of storehouse institute _{i, off}point to transition t _{c, on, off}two-way arc; Add the p of storehouse institute _{i, rise}point to transition t _{c, on, rise}directed arc; Add the p of storehouse institute _{i, on, on}point to transition t _{c, on, on}directed arc; Add transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}point to the S of storehouse institute ₃directed arc;

Create a S of storehouse institute ₄represent disarmed state, have two states not exert an influence to the current output state that adds counter, use transition t _{c, null, 1}expression input end is that high level, reset terminal are low level; Use transition t _{c, null, 2}expression input end is that low level, reset terminal are low level;

Add the p of storehouse institute _{i, on, on}point to transition t _{c, null, 1}directed arc; Add the p of storehouse institute _{i, off}point to transition t _{c, null, 2}two-way arc; Add the p of storehouse institute _{r, off}point to transition t _{c, null, 1}, t _{c, null, 2}two-way arc; Add the S of storehouse institute ₂point to transition t _{c, null, 1}, t _{c, null, 2}directed arc; Add transition t _{c, null, 1}, t _{c, null, 2}point to the S of storehouse institute ₄directed arc; Gather in the storehouse of gained:

S _c={ S ₃, S ₄, transition set T _c={ t _{c, on, off}, t _{c, on, rise}t _{c, on, on}, t _{c, null, 1,}t _{c, null, 2}, directed arc set $F_c={{\mathrm{<figure-callout\; id="1"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_2\&cup;F_{c_3}\&cup;{{\mathrm{<figure-callout\; id="4"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_4{\&cup;F_c}_5,$ Wherein:

${{\mathrm{<figure-callout\; id="1"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_1=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{on},\mathrm{off}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{off}}),(p_{i,\mathrm{off},},t_{c,\mathrm{on},\mathrm{off}}),(t_{c,\mathrm{on},\mathrm{off}},p_{r,\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{off}},p_{i,\mathrm{off}}),(t_{c,\mathrm{on},\mathrm{off}},S_3)\};$

${{\mathrm{<figure-callout\; id="2"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_2=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{on},\mathrm{rise}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{rise}}),(p_{i,\mathrm{rise},},t_{c,\mathrm{on},\mathrm{rise}}),(t_{c,\mathrm{on},\mathrm{rise}},p_{r,\mathrm{on}}),(p_{i,\mathrm{rise}},S_3)\};$

${F_c}_3=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{on},\mathrm{on}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{on}}),(p_{i,\mathrm{on},\mathrm{on}},t_{c,\mathrm{on},\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{on}},p_{r,\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{on}},S_3)\};$

${{\mathrm{<figure-callout\; id="4"\; label="F\; c"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_c}_4=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{null},2}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},2}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},2}),(t_{c,\mathrm{null},2},p_{i,\mathrm{off}}),(t_{c,\mathrm{null},2},p_{r,\mathrm{off}}),(t_{c,\mathrm{null},2},S_4)\};$

${F_c}_5=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{c,\mathrm{null},1}),(p_{i,\mathrm{on},\mathrm{on}},t_{c,\mathrm{null},1}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},1}),(t_{c,\mathrm{null},1},p_{r,\mathrm{off}}),(t_{c,\mathrm{null},1},S_4)\};$

Step 2.1 will add counter currency register and be modeled as two couples of p of storehouse institute _{c, ctu, max}, p _{c, ctu, now}, the p of storehouse institute wherein _{c, ctu, max}represent to add the maximal value that counter can be counted; The p of storehouse institute _{c, ctu, now}represent to add counter currency; Be modeled as two storehouses principle be to meet while adding one state when adding counter, from the p of storehouse institute _{c, ctu, max}take out a holder and agree be put into the p of storehouse institute _{c, ctu, now}in, if the p of storehouse institute _{c, ctu, now}in holder agree number and be more than or equal to while adding counter preset value PV, add counter output high level, the storehouse of gained is gathered and is:

Step 2.2 is by the p of storehouse institute _{c, ctu, max}take out a holder and agree be put into the p of storehouse institute _{c, ctu, now}process simulation be transition t _{ctu, max, now}, and transition excite satisfied condition to have three: input sample finishes and in reset mode, input end, is not or not rising edge state, reset terminal end are low level state;

Add the p of storehouse institute _{c, ctu, max}point to transition t _{ctu, max, now}directed arc; Add transition t _{ctu, max, now}point to the p of storehouse institute _{c, ctu, now}directed arc; Add the S of storehouse institute ₂point to transition t _{ctu, max, now}directed arc; Add the p of storehouse institute _{i, rise}point to transition t _{ctu, max, now}directed arc; Add the p of storehouse institute _{r, off}point to transition t _{ctu, max, now}two-way arc; The transition set of gained ${\mathrm{<figure-callout\; id="1"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{{\mathrm{ctu}}_{}}=\left\{t_{\mathrm{ctu},\max ,\mathrm{now}}\right\},$ Directed arc set:

$\begin{array}{c}{\mathrm{<figure-callout\; id="1"\; label="F\; ct\; u"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{\mathrm{ct}{u}_{}}=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{i,\mathrm{rise}},t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{c,\mathrm{ctu},\max },t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{r,\mathrm{off}},t_{\mathrm{ctu},\max ,\mathrm{now}})\\ ,(t_{\mathrm{ctu},\max ,\mathrm{now}},p_{r,\mathrm{off}}),(t_{\mathrm{ctu},\max ,\mathrm{now}},p_{c,\mathrm{ctu},\mathrm{now}})\};\end{array}$

Step 2.3 adds the each counting of counter should judge that whether add counter currency is more than or equal to and adds counter preset value PV, creates a S of storehouse institute after once ₅represent that adding counter often adds state once, the S of storehouse institute ₅also represent that current period adds rolling counters forward complete, add transition t _{ctu, max, now}point to the S of storehouse institute ₅directed arc, directed arc set ${\mathrm{<figure-callout\; id="2"\; label="F\; ct\; u"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{\mathrm{ct}{u}_{}}=\left\{(t_{\mathrm{ctu},\max ,\mathrm{now}},S_5)\right\},$ Gather in storehouse: ${S_{\mathrm{ctu}}}_1=\left\{s_5\right\};$

Step 2.4 is by the p of storehouse institute _{c, ctu, now}interior holder agree all take out and put into the p of storehouse institute _{c, ctu, max}interior process is called and adds counter O reset process, is modeled as transition t _{ctu, now, max}; The thought that adds the zero clearing of counter Petri net that the present invention builds is: transition t _{ctu, now, max}excite a holder of taking-up to agree put into the p of storehouse institute at every turn _{c, ctu, max}in, if the initial storehouse p of institute _{c, ctu, now}inside there are a plurality of holders to agree, transition t _{ctu, now, max}occur repeatedly; Transition t _{ctu, now, max}condition is to add counter in cleared condition, according to zero clearing thought, adds S ₃point to transition t _{ctu, now, max}two-way arc, guarantee like this transition t _{ctu, now, max}can excite repeatedly until the p of storehouse institute _{c, ctu, now}interior not holder is agree; Add the p of storehouse institute _{c, ctu, now}point to transition t _{ctu, now, max}directed arc; Add transition t _{ctu, now, max}point to the p of storehouse institute _{c, ctu, max}directed arc; Create a transition t _{ctu, now, null}the judgement p of storehouse institute _{c, ctu, now}interior not holder is agree; Add S ₃point to transition t _{ctu, now, null}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{ctu, now, null}two-way arc and weights be to add the maximal value PvMax that counter can be counted;

The transition set of gained ${{\mathrm{<figure-callout\; id="2"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{\mathrm{ctu}}}_2=\{t_{\mathrm{ctu},\mathrm{now},\max },t_{\mathrm{ctu},\mathrm{now},\mathrm{null}}\},$ Directed arc set ${F_{\mathrm{ctu}}}_3=F_{\mathrm{now},\max }\&cup;F_{\mathrm{now},\mathrm{null}},$ Wherein

F _now,max={(S ₃,t _ctu,now,max),(p _c,ctu,now,t _ctu,now,max),(t _ctu,now,max,S ₃),(t _ctu,now,max,p _c,ctu,max)}；

F _now,null={(S ₃,t _ctu,now,null),(p _c,ctu,max,t _ctu,now,null),(t _ctu,now,null,p _c,ctu,max)}；

Step 2.5 adds counter internal library and gathers

transition set $T_{\mathrm{ctu}}=T_c\&cup;{{\mathrm{<figure-callout\; id="1"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{\mathrm{ctu}}}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="T\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_{\mathrm{ctu}}}_2,$ Directed arc set $F_{\mathrm{ctu}}={\mathrm{<figure-callout\; id="1"\; label="F\; c\; tu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{c{\mathrm{tu}}_{}}\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; ctu"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_{\mathrm{ctu}}}_2\&cup;{F_{\mathrm{ctu}}}_3\&cup;F_{{\mathrm{ctu}}_3}\&cup;F_c;$

Step 3, the output that adds counter is converted to Petri net:

Add counter and can only export high level or low level, this two states is modeled as to the p of storehouse institute _{o, ctu, on}, p _{o, ctu, off}, storehouse collects ${{\mathrm{<figure-callout\; id="1"\; label="P\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">P</figure-callout>}}_o}_1=\{p_{o,\mathrm{ctu},\mathrm{on}},p_{o,\mathrm{ctu},\mathrm{off}}\};$

The combinations of states of input end and reset terminal is divided into three kinds: reset mode, count status, do not affect the state that adds counter currency;

Step 3.1, when adding counter in reset mode, is output as low level, transition t _{ctu, now, null}the judgement p of storehouse institute _{c, ctu, now}interior not holder is agree, namely t _{ctu, now, null}after exciting, add counter O reset and finish, output terminal output low level, adds transition t _{ctu, now, null}point to the p of storehouse institute _{o, ctu, off}directed arc, the set of gained directed arc

${{\mathrm{<figure-callout\; id="1"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_1=\left\{(t_{\mathrm{ctu},\mathrm{now},\mathrm{null}},p_{o,\mathrm{ctu},\mathrm{off}})\right\};$

Step 3.2 is after adding rolling counters forward and finishing and arrive and add counter preset value PV, now adds counter and should export high level, and this situation is modeled as to transition t _{o, ctu, pv}, add the S of storehouse institute ₅point to transition t _{o, ctu, pv}directed arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, pv}two-way arc and weights for adding counter preset value PV; Output terminal output high level, adds transition t _{o, ctu, pv}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set ${{\mathrm{<figure-callout\; id="1"\; label="T\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_o}_1=\left\{t_{o,\mathrm{ctu},\mathrm{pv}}\right\},$ Directed arc set:

${{\mathrm{<figure-callout\; id="2"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_2=\{(S_5,t_{c,\mathrm{ctu},\mathrm{pv}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{pv}}),(t_{o,\mathrm{ctu},\mathrm{pv}},p_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{pv}},p_{c,\mathrm{ctu},\mathrm{now}})\};$

Step 3.3 does not reach and adds counter preset value PV after existing and adding rolling counters forward and finish, and now adds counter output low level, and this situation is modeled as to transition t _{o, ctu, lpv}, add the S of storehouse institute ₅point to t _{o, ctu, lpv}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{o, ctu, lpv}two-way arc and weights be PvMax-PV+1; Due to output terminal output low level, so add transition t _{o, ctu, lpv}point to the p of storehouse institute _{o, ctu, off}directed arc, gained transition set

directed arc set:

${F_o}_3=\{(S_5,t_{o,\mathrm{ctu},\mathrm{lpv}}),(p_{c,\mathrm{ctu},\max },t_{o,\mathrm{ctu},\mathrm{lpv}}),(t_{o,\mathrm{ctu},\mathrm{lpv}},p_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{lpv}},p_{c,\mathrm{ctu},\max })\};$

Step 3.4 is not after adding counter input sample when affecting the state that adds counter currency, and the Output rusults of current period is identical with a upper cycle, and both of these case is modeled as to transition t _{o, ctu, on}, t _{o, ctu, off}, transition t wherein _{o, ctu, on}represent upper cycle output high level; Transition t _{o, ctu, off}represent a upper cycle output low level, the S of storehouse institute ₄just represent to add counter in this state, the p of library representation institute when a upper cycle is low level _{c, ctu, max}interior holder is agree number for PvMax-PV+1, so the interpolation S of storehouse institute ₄point to transition t _{o, ctu, off}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{o, ctu, off}two-way arc and weights be PvMax-PV+1; Add transition t _{o, ctu, off}point to the p of storehouse institute _{o, ctu, off}directed arc, as the p of storehouse institute _{c, ctu, now}interior holder agree count to be more than or equal to add counter preset value PV, represents upper cycle output high level, so add the S of storehouse institute ₄point to transition t _{o, ctu, on}directed arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, on}two-way arc and weights for adding counter preset value PV; Add transition t _{o, ctu, on}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set

directed arc set:

${{\mathrm{<figure-callout\; id="4"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_4=\{({\mathrm{<figure-callout\; id="4"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_4,t_{c,\mathrm{ctu},\mathrm{off}}),(p_{c,\mathrm{ctu},\max },t_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{off}},p_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{off}},p_{c,\mathrm{ctu},\max })\};$

${F_o}_5=\{(S_5,t_{o,\mathrm{ctu},\mathrm{on}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{on}},p_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{on}},p_{c,\mathrm{ctu},\mathrm{now}})\};$

Step 3.5 exists a kind of situation when adding counter when the last cycle has count down to maximal value, and current period adds counter and still meets counting condition, now adds counter and does not carry out work and output state and remain high level, and this situation is modeled as to transition t _{o, ctu, full}so, add the S of storehouse institute ₂point to transition t _{o, ctu, full}directed arc; Add the p of storehouse institute _{i, rise}point to transition t _{o, ctu, full}directed arc; Add the p of storehouse institute _{r, off}point to transition t _{o, ctu, full}two-way arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, full}two-way arc and weights be PvMax; Add transition t _{o, ctu, full}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set

the set of gained directed arc:

$\begin{array}{c}{F}_{o_6}=\{({\mathrm{<figure-callout\; id="2"\; label="S"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">S</figure-callout>}}_2,t_{o,\mathrm{ctu},\mathrm{full}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{full}}),(p_{i,\mathrm{rise}},t_{o,\mathrm{ctu},\mathrm{full}}),(p_{r,\mathrm{off}},t_{o,\mathrm{ctu},\mathrm{full}}),\left(t_{o,\mathrm{ctu},\mathrm{full},p_{r,\mathrm{off}}}\right)\\ ,(t_{o,\mathrm{ctu},\mathrm{full}},p_{c,\mathrm{ctu},\mathrm{now}}),(t_{o,\mathrm{ctu},\mathrm{full}},p_{o,\mathrm{ctu},\mathrm{on}})\};\end{array}$

Step 3.6 adds counter output transition set $T_{\mathrm{ctu},o}={{\mathrm{<figure-callout\; id="1"\; label="T\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_o}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="T\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_o}_2\&cup;T_{o_3}\&cup;{{\mathrm{<figure-callout\; id="4"\; label="T\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">T</figure-callout>}}_o}_4,$ Directed arc set $F_{\mathrm{ctu},o}={{\mathrm{<figure-callout\; id="1"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_1\&cup;{{\mathrm{<figure-callout\; id="2"\; label="F\; o"\; filenames="HDA0000431508200000011.png,HDA0000431508200000021.png"\; state="\{\{state\}\}">F</figure-callout>}}_o}_2\&cup;F_{o_3}\&cup;{F_o}_3{\&cup;F_o}_5\&cup;{F_o}_6;$

Step 4, as shown in Figure 1, output adds the Petri pessimistic concurrency control of counter:

Add the Petri net storehouse collection of counter as P=P _{ctu, i}∪ P _ctu∪ P _{ctu, o}, transition set is T=T _{ctu, i}∪ T _ctu∪ T _{ctu, o}, directed arc set is F=F _{ctu, i}∪ F _ctu∪ F _{ctu, o}, obtain a common Petri net N _ctu:=(P, T; F) and preliminary examination sign m ₀.

Example 1, take Siemens S7-200PLC counter as example

This example is the fixed number vanning of controlling fruit.When fruit case arrives assigned address, now sensor receives a signal, according to this signal enabling vanning, controls, and after starting, machine packs toward fruit case the fruit number pre-setting into, after filling predetermined number, remove fruit case and again count, this vanning that has just completed fruit is controlled.The PLC trapezoid figure program schematic diagram of writing according to controlling requirement as shown in Figure 2.I _0.0from low level, become high level and represent to pack into a fruit; Q _0.0represent that vanning finishes, and removes (Q by fruit case _0.0during high level, trigger the machine that fruit case is removed).

In this example, used and added counter.Suppose that vanning number is K, so add the preset value of counter, be made as K.When fruit case is filled K, Q _0.0for high level, now remove fruit case and will add counter and empty, wait for the arrival of next fruit case.

According to adding counter, be converted to the method that Petri nets, this example can be divided into three steps:

Step 1, the state simulation of input end port is gathered to P by storehouse _i={ p _{i, on}, p _{i, off}, p _{i, rise}, p _{i, on, on}, in like manner the state simulation of reset terminal port is gathered to P by storehouse _r={ p _{r, on}, p _{r, off}.Consider actual conditions, current period reset terminal is high level, adds counter and empties and add counter output low level, and next cycle reset end will become low level.So do not exist reset terminal to become low level situation from high level; Owing to adding after counter output high level, next cycle just, to adding counter O reset, is not output as high level so do not exist, and next cycle adds counter and still meets counting condition.Through consideration above, can simplify constructed Petri net.According to the present invention with the principle of work of PLC timer, corresponding transition and storehouse between add directed arc.

Step 2, the currency register that adds counter is modeled as to transition P _c={ p _{c, max}, p _{c, now}.In conjunction with actual by the p of storehouse institute _{c, max}interior holder is agree number and is made as K, rather than maximal value PvMax.According to pack a fruit into when machine after, only have two kinds of situations: fruit case is filled; Fruit case is not also filled.Then according to the present invention with the principle of work of PLC timer, between corresponding transition and storehouse institute, add directed arc.

Step 3, the output terminal that adds counter is modeled as to P that gather in storehouse _o={ p _{o, on}, p _{o, off}, by Q _0.0state simulation by storehouse, gathered

that with step 1, analyzes is identical, state do not exist from the flat situation that becomes high level of height, can simplify and save transition.Last according to the present invention with the principle of work of PLC timer, between corresponding transition and storehouse institute, add directed arc.

Step 4, show as Fig. 3, output adds the Petri pessimistic concurrency control of counter.

The above, it is only preferred embodiment of the present invention, not technical scope of the present invention is imposed any restrictions, therefore any trickle modification, equivalent variations and modification that every foundation technical spirit of the present invention is done above embodiment all still belong in the scope of technical solution of the present invention.

Claims (1)

1. PLC is added to the method that counter is converted to order Petri net, it is characterized in that comprising the steps:

Step 1, to adding input end and the reset terminal of counter, change:

Step 1.1 by the register that adds counter input end be modeled as storehouse set p wherein _{i, on}, p _{i, off}, p _{i, rise}represent respectively to add three kinds of states of the register of counter input end: high level state, low level state, from disconnecting, point to the switching state of connecting;

Step 1.2 is by the p of storehouse institute _{i, off}become the p of storehouse institute _{i, on}process simulation be transition t _{i, off, on}, by the p of storehouse institute _{i, on}become the p of storehouse institute _{i, off}process simulation be transition t _{i, on, off}, add the p of storehouse institute _{i, off}point to transition t _{i, off, on}directed arc, add transition t _{i, off, on}point to the p of storehouse institute _{i, on}directed arc; Add the p of storehouse institute _{i, on}point to transition t _{i, on, off}directed arc, add transition t _{i, on, off}point to the p of storehouse institute _{i, off}directed arc; Add transition t _{i, off, on}point to the p of storehouse institute _{i, rise}directed arc, the directed arc set of gained

${F_i}_1=\{(p_{i,\mathrm{off}},t_{t,\mathrm{off},\mathrm{on}}),(p_{i,\mathrm{on}},t_{i,\mathrm{on},\mathrm{off}}),(t_{i,\mathrm{off},\mathrm{on}},p_{i,\mathrm{on}}),(t_{i,\mathrm{off},\mathrm{on}},p_{i,\mathrm{rise}}),(t_{i,\mathrm{on},\mathrm{off}},p_{i,\mathrm{off}})\},$

The transition set of gained $T_{i_1}=\{t_{i,\mathrm{off},\mathrm{on}},t_{i,\mathrm{on},\mathrm{off}}\};$

Step 1.3, when adding counter reset terminal and be high level, adds the zero clearing of counter currency, is output as low level, and the register that adds counter reset terminal is modeled as to P that gather in storehouse _r={ p _{r, on}, p _{r, off}, the p of storehouse institute wherein _{r, on}, p _{r, off}the two states that represents respectively reset terminal register: high level state, low level state, gather in storehouse $P_{i_2}=P_r;$

Step 1.4 is by the p of storehouse institute _{r, off}become the p of storehouse institute _{r, on}process simulation be transition t _{r, off, on}, by the p of storehouse institute _{r, on}become the p of storehouse institute _{r, off}process simulation be transition t _{r, on, off}, add the p of storehouse institute _{r, off}point to transition t _{r, off, on}directed arc, add the p of storehouse institute _{r, on}point to transition t _{r, on, off}directed arc; Add transition t _{r, off, on}point to the p of storehouse institute _{r, on}directed arc, add transition t _{r, on, off}point to the p of storehouse institute _{r, off}directed arc, the directed arc set of gained

wherein

F ₁={(p _r,off,t _r,off,on),(p _r,on,t _r,on,off),(t _r,off,on,p _r,on),(t _r,on,off,p _r,off)}，

Gained transition set ${T_i}_2=\{t_{r,\mathrm{off},\mathrm{on}},t_{r,\mathrm{on},\mathrm{off}},t_{\mathrm{ld},\mathrm{off},\mathrm{on}},t_{\mathrm{ld},\mathrm{on},\mathrm{off}}\};$

Step 1.5 has now completed the Petri net modeling that counter is inputted the cycle that adds that does not add scan round, is next that input end and reset terminal increase sequential control, first input end is sampled, and builds a control places S ₀represent to start to deposit the state of input end in register, build a control places S ₁represent that input end deposits EO in, also represent to start to deposit the state of reset terminal in register the control places set of gained simultaneously ${S_i}_1=\{s_0,s_1\};$

Any one state of step 1.6 input end has two kinds of situations of change, and the input end when a upper cycle is low level, and current period can be high level, or is still low level, by low transition, is that low level process simulation is transition t _{i, off, off}, the process simulation that high level is converted to high level is transition t _{i, on, on}, add the p of storehouse institute _{i, on}point to transition t _{i, on, on}two-way arc; Add the p of storehouse institute _{i, off}point to transition t _{i, off, off}two-way arc;

Storehouse institute _{pi, on, on}represented that when a upper cycle be that high level and current period are still high level, from control places S ₀start the state of input end to be stored in register until control places S ₁, add the S of storehouse institute ₀point to transition t _{i, off, off}, t _{i, on, on}, t _{i, off, on}, t _{i, on, off}directed arc, add transition t _{i, off, off}, t _{i, on, on}, t _{i, off, on}, t _{i, on, off}point to control places S ₁directed arc; Add transition t _{i, on, on}point to the p of storehouse institute _{i, on, on}directed arc, the directed arc set of gained ${F_i}_3=F_{s_0,t}\&cup;F_{t,s_1}\&cup;F_{i,1}\&cup;F_{i,2}\&cup;F_{i,3},$

Wherein:

$F_{s_0,t}=\{(s_0,t_{i,\mathrm{off},\mathrm{off}}),(s_0,t_{i,\mathrm{on},\mathrm{on}}),(s_0,t_{i,\mathrm{off},\mathrm{on}}),(s_0,t_{i,\mathrm{on},\mathrm{off}})\};$

$F_{t,s_1}=\{(t_{i,\mathrm{off},\mathrm{off}},s_1),(t_{i,\mathrm{on},\mathrm{on}},s_1),(t_{i,\mathrm{off},\mathrm{on}},s_1),(t_{i,\mathrm{on},\mathrm{off}},s_1)\};$

F _i,1={(t _i,on,on,p _i,on,on)}，F _i,2={(t _i,on,on,p _i,on),(p _i,on,t _i,on,on)}；

F _i,3={(t _i,off,off,p _i,off),(p _i,off,t _i,off,off)}；

The set of gained transition $T_{i_3}=\{t_{i,\mathrm{on},\mathrm{on}},t_{i,\mathrm{off},\mathrm{off}}\},$ Gather in the storehouse of gained ${P_i}_3=\left\{p_{i,\mathrm{on},\mathrm{on}}\right\};$

The state of step 1.7 pair reset terminal is sampled, and builds a control places S ₂represent that reset terminal sampling finishes, and namely inputs end cycle; Build transition t _{r, off, off}, t _{r, on, on}represent that respectively reset terminal low level becomes low level, high level becomes high level, add the p of storehouse institute _{r, on}point to transition t _{r, on, on}two-way arc; Add the p of storehouse institute _{r, off}point to transition t _{r, off, off}two-way arc, the sampling of reset terminal is from the end of input end, so add control places S ₁point to transition t _{r, off, off}, t _{r, on, on}, t _{r, off, on}, t _{i, on, off}directed arc; Add transition t _{r, off, off}, t _{r, on, on}, t _{r, off, on}, t _{i, on, off}point to control places S ₂directed arc, the directed arc set of gained ${F_i}_4=F_{s_1,t}\&cup;F_{t,s_2}\&cup;F_{r,1}\&cup;F_{r,2}\&cup;F_{r,3}$ Wherein:

$F_{s_1,t}=\{(s_1,t_{r,\mathrm{off},\mathrm{off}}),(s_1,t_{r,\mathrm{on},\mathrm{on}}),(s_1,t_{r,\mathrm{off},\mathrm{on}}),\left({s_1,t}_{r,\mathrm{on},\mathrm{off}}\right)\};$

$F_{t,s_2}=\{(t_{r,\mathrm{off},\mathrm{off}},s_2),(t_{r,\mathrm{on},\mathrm{on}},s_2),(t_{r,\mathrm{off},\mathrm{on}},s_2),(t_{r,\mathrm{on},\mathrm{off}},s_2)\};$

F _r,1={(t _r,on,on,p _r,on,on)}，F _r,2={(t _r,on,on,p _r,on),(p _r,on,t _r,on,on)}；

F _{r, 3}={ (t _{r, off, off}, p _{r, off}), (p _{r, off}, t _{r, off, off}), the set of gained transition

${T_i}_4=\{t_{r,\mathrm{on},\mathrm{on}},t_{r,\mathrm{off},\mathrm{off}}\};$

Step 1.8 input magazine collects

transition set $T_i={T_i}_1\&cup;{T_i}_2\&cup;T_{i_3}\&cup;{T_i}_3{\&cup;T_i}_4,$ Directed arc set $F_i={F_i}_1\&cup;{F_i}_2\&cup;F_{i_3}\&cup;{F_i}_3{\&cup;F_i}_4;$

Step 2, to adding counter operating part, change:

When reset terminal is high level, no matter what state input end is, add counter O reset;

Create a control places S ₃represent that cleared condition, corresponding input end register have three kinds of situations to make to add counter and enter cleared condition: three kinds of states of input end register are respectively low level state, rising edge state, high level state, the corresponding transition of each state are respectively: t _{c, on, off}, t _{c, on, rise}, t _{c, on, on};

Add control places S ₂point to transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}directed arc; Add the p of storehouse institute _{r, on}point to transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}two-way arc; Add the p of storehouse institute _{i, off}point to transition t _{c, on, off}two-way arc; Add storehouse institute _{pi, rise}point to transition t _{c, on, rise}directed arc; Add the p of storehouse institute _{i, on, on}point to transition t _{c, on, on}directed arc; Add transition t _{c, on, off}, t _{c, on, rise}, t _{c, on, on}point to the S of storehouse institute ₃directed arc;

Create a control places S ₄represent disarmed state, have two states not exert an influence to the current output state that adds counter, use transition t _{c, null, 1}expression input end is that high level, reset terminal are low level; Use transition t _{c, null, 2}expression input end is that low level, reset terminal are low level;

Add the p of storehouse institute _{i, on, on}point to transition t _{c, null, 1}directed arc; Add the p of storehouse institute _{i, off}point to transition t _{c, null, 2}two-way arc; Add the p of storehouse institute _{r, off}point to transition t _{c, null, 1}, t _{c, null, 2}two-way arc; Add control places S ₂point to transition t _{c, null, 1}, t _{c, null, 2}directed arc; Add transition t _{c, null, 1}, _{tc, null, 2}point to control places S ₄directed arc; The control places set of gained:

S _c={ S ₃, S ₄, transition set T _c={ t _{c, on, off}, t _{c, on, rise}t _{c, on, on}, t _{c, null, 1}, t _{c, null, 2}, directed arc set $F_c={F_c}_1\&cup;{F_c}_2\&cup;F_{c_3}\&cup;{F_c}_4{\&cup;F_c}_5,$ Wherein:

${F_c}_1=\{(S_2,t_{c,\mathrm{on},\mathrm{off}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{off}}),(p_{i,\mathrm{off},},t_{c,\mathrm{on},\mathrm{off}}),(t_{c,\mathrm{on},\mathrm{off}},p_{r,\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{off}},p_{i,\mathrm{off}}),(t_{c,\mathrm{on},\mathrm{off}},S_3)\};$

${F_c}_2=\{(S_2,t_{c,\mathrm{on},\mathrm{rise}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{rise}}),(p_{i,\mathrm{rise},},t_{c,\mathrm{on},\mathrm{rise}}),(t_{c,\mathrm{on},\mathrm{rise}},p_{r,\mathrm{on}}),(p_{i,\mathrm{rise}},S_3)\};$

${F_c}_3=\{(S_2,t_{c,\mathrm{on},\mathrm{on}}),(p_{r,\mathrm{on}},t_{c,\mathrm{on},\mathrm{on}}),(p_{i,\mathrm{on},\mathrm{on}},t_{c,\mathrm{on},\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{on}},p_{r,\mathrm{on}}),(t_{c,\mathrm{on},\mathrm{on}},S_3)\};$

${F_c}_4=\{(S_2,t_{c,\mathrm{null},2}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},2}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},2}),(t_{c,\mathrm{null},2},p_{i,\mathrm{off}}),(t_{c,\mathrm{null},2},p_{r,\mathrm{off}}),(t_{c,\mathrm{null},2},S_4)\};$

${F_c}_5=\{(S_2,t_{c,\mathrm{null},1}),(p_{i,\mathrm{on},\mathrm{on}},t_{c,\mathrm{null},1}),(p_{r,\mathrm{off}},t_{c,\mathrm{null},1}),(t_{c,\mathrm{null},1},p_{r,\mathrm{off}}),(t_{c,\mathrm{null},1},S_4)\};$

Step 2.1 will add counter currency register and be modeled as two pairs of storehouse institutes _{pc, ctu, max}, _{pc, ctu, now}, storehouse institute wherein _{pc, ctu, max}represent to add the maximal value that counter can be counted; Storehouse institute _{pc, ctu, now}represent to add counter currency; When adding counter, meet while adding 1 state, from storehouse institute _{pc, ctu, max}take out a holder and agree be put into storehouse institute _{pc, ctu, now}in, if storehouse institute _{pc, ctu, now}in holder agree number and be more than or equal to while adding counter preset value PV, add counter output high level, the storehouse of gained is gathered and is ${P_{\mathrm{ctu}}}_1=\{p_{c,\mathrm{ctu},\mathrm{now}},p_{c,\mathrm{ctu},\max }\};$

Step 2.2 is by the p of storehouse institute _{c, ctu, max}take out a holder and agree be put into the p of storehouse institute _{c, ctu, now}process simulation be transition t _{ctu, max, now}, and transition excite satisfied condition to have three: input sample finishes and in reset mode, input end, is not or not rising edge state, reset terminal end are low level state;

Add the p of storehouse institute _{c, ctu, max}point to transition t _{ctu, max, now}directed arc; Add transition t _{ctu, max, now}point to the p of storehouse institute _{c, ctu, now}directed arc; Add control places S ₂point to transition t _{ctu, max, now}directed arc; Add the p of storehouse institute _{i, rise}point to transition t _{ctu, max, now}directed arc; Add the p of storehouse institute _{r, off}point to transition t _{ctu, max, now}two-way arc; The transition set of gained $T_{{\mathrm{ctu}}_1}=\left\{t_{\mathrm{ctu},\max ,\mathrm{now}}\right\},$ Directed arc set:

$\begin{array}{c}{F}_{\mathrm{ct}{u}_1}=\{(S_2,t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{i,\mathrm{rise}},t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{c,\mathrm{ctu},\max },t_{\mathrm{ctu},\max ,\mathrm{now}}),(p_{r,\mathrm{off}},t_{\mathrm{ctu},\max ,\mathrm{now}})\\ ,(t_{\mathrm{ctu},\max ,\mathrm{now}},p_{r,\mathrm{off}}),(t_{\mathrm{ctu},\max ,\mathrm{now}},p_{c,\mathrm{ctu},\mathrm{now}})\};\end{array}$

Step 2.3 adds should judge after counter often adds once that whether add counter currency is more than or equal to and adds counter preset value PV, creates a control places S ₅represent that adding counter often adds state once, control places S ₅also represent that current period adds rolling counters forward complete, add transition t _{ctu, max, now}point to control places S ₅directed arc, directed arc set $F_{\mathrm{ct}{u}_2}=\left\{(t_{\mathrm{ctu},\max ,\mathrm{now}},S_5)\right\},$ Control places set: ${S_{\mathrm{ctu}}}_1=\left\{s_5\right\};$

Step 2.4 is by the p of storehouse institute _{c, ctu, now}interior holder agree all take out and put into the p of storehouse institute _{c, ctu, max}interior process is called and adds counter O reset process, is modeled as transition t _{ctu, now, max}; Transition t _{ctu, now, max}excite a holder of taking-up to agree put into the p of storehouse institute at every turn _{c, ctu, max}in, if the initial storehouse p of institute _{c, ctu, now}inside there are a plurality of holders to agree, transition t _{ctu, now, max}occur repeatedly; Transition t _{ctu, now, max}condition is to add counter in cleared condition, adds control places S ₃point to transition t _{ctu, now, max}two-way arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{ctu, now, max}directed arc; Add transition t _{ctu, now, max}point to the p of storehouse institute _{c, ctu, max}directed arc; Create a transition t _{ctu, now, null}the judgement p of storehouse institute _{c, ctu, now}interior not holder is agree; Add and control S ₃point to transition t _{ctu, now, null}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{ctu, now, null}two-way arc and weights be to add the maximal value PvMax that counter can be counted;

The transition set of gained ${T_{\mathrm{ctu}}}_2=\{t_{\mathrm{ctu},\mathrm{now},\max },t_{\mathrm{ctu},\mathrm{now},\mathrm{null}}\},$ Directed arc set ${F_{\mathrm{ctu}}}_3=F_{\mathrm{now},\max }\&cup;F_{\mathrm{now},\mathrm{null}},$ Wherein

F _now,max={(S ₃,t _ctu,now,max),(p _c,ctu,now,t _ctu,now,max),(t _ctu,now,max,S ₃),(t _ctu,now,max,p _c,ctu,max)}；

F _now,null={(S ₃,t _ctu,now,null),(p _c,ctu,max,t _ctu,now,null),(t _ctu,now,null,p _c,ctu,max)}；

Step 2.5 adds counter internal library and gathers transition set $T_{\mathrm{ctu}}=T_c\&cup;{T_{\mathrm{ctu}}}_1\&cup;{T_{\mathrm{ctu}}}_2,$ Directed arc set ${F_{\mathrm{ctu}}}_3=F_{\mathrm{now},\max }\&cup;F_{\mathrm{now},\mathrm{null}},$

Step 3, the output that adds counter is converted to Petri net:

Add counter and can only export high level or low level, this two states is modeled as to the p of storehouse institute _{o, ctu, on}, p _{o, ctu, off}, storehouse collects ${P_o}_1=\{p_{o,\mathrm{ctu},\mathrm{on}},p_{o,\mathrm{ctu},\mathrm{off}}\};$

The combinations of states of input end and reset terminal is divided into three kinds: reset mode, count status, do not affect the state that adds counter currency;

Step 3.1, when adding counter in reset mode, is output as low level, transition t _{ctu, now, null}the judgement p of storehouse institute _{c, ctu, now}interior not holder is agree, and output terminal output low level, adds transition t _{ctu, now, null}point to the p of storehouse institute _{o, ctu, off}directed arc, the set of gained directed arc ${F_o}_1=\left\{(t_{\mathrm{ctu},\mathrm{now},\mathrm{null}},p_{o,\mathrm{ctu},\mathrm{off}})\right\};$

Step 3.2 is after adding rolling counters forward and finishing and arrive and add counter preset value PV, now adds counter output high level, and this situation is modeled as to transition t _{o, ctu, pv}, add control places S ₅point to transition t _{o, ctu, pv}directed arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, pv}two-way arc and weights for adding counter preset value PV; Output terminal output high level, adds transition t _{o, ctu, pv}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set ${T_o}_1=\left\{t_{o,\mathrm{ctu},\mathrm{pv}}\right\},$ Directed arc set:

${F_o}_2=\{(S_5,t_{c,\mathrm{ctu},\mathrm{pv}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{pv}}),(t_{o,\mathrm{ctu},\mathrm{pv}},p_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{pv}},p_{c,\mathrm{ctu},\mathrm{now}})\};$

Step 3.3 does not reach and adds counter preset value PV after adding rolling counters forward and finishing, and now adds counter output low level, and this situation is modeled as to transition t _{o, ctu, lpv}, add control places S ₅point to t _{o, ctu, lpv}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{o, ctu, lpv}two-way arc and weights be PvMax-PV+1; Due to output terminal output low level, so add transition t _{o, ctu, lpv}point to the p of storehouse institute _{o, ctu, off}directed arc, gained transition set directed arc set:

${F_o}_3=\{(S_5,t_{o,\mathrm{ctu},\mathrm{lpv}}),(p_{c,\mathrm{ctu},\max },t_{o,\mathrm{ctu},\mathrm{lpv}}),(t_{o,\mathrm{ctu},\mathrm{lpv}},p_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{lpv}},p_{c,\mathrm{ctu},\max })\};$

Step 3.4 is not after adding counter input sample when affecting the state that adds counter currency, and the Output rusults of current period is identical with a upper cycle, and both of these case is modeled as to transition t _{o, ctu, on}, t _{o, ctu, off}, transition t wherein _{o, ctu, on}represent upper cycle output high level; Transition t _{o, ctu, off}represent a upper cycle output low level, control places S ₄just represent to add counter in this state, the p of library representation institute when a upper cycle is low level _{c, ctu, max}interior holder is agree number for PvMax-PV+1, so interpolation control places S ₄point to transition t _{o, ctu, off}directed arc; Add the p of storehouse institute _{c, ctu, max}point to transition t _{o, ctu, off}two-way arc and weights be PvMax-PV+1; Add transition t _{o, ctu, off}point to the p of storehouse institute _{o, ctu, off}directed arc, as the p of storehouse institute _{c, ctu, now}interior holder agree count to be more than or equal to add counter preset value PV, represents upper cycle output high level, so add control places S ₄point to transition t _{o, ctu, on}directed arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, on}two-way arc and weights for adding counter preset value PV; Add transition t _{o, ctu, on}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set

directed arc set:

${F_o}_4=\{(S_4,t_{c,\mathrm{ctu},\mathrm{off}}),(p_{c,\mathrm{ctu},\max },t_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{off}},p_{o,\mathrm{ctu},\mathrm{off}}),(t_{o,\mathrm{ctu},\mathrm{off}},p_{c,\mathrm{ctu},\max })\};$

${F_o}_5=\{(S_5,t_{o,\mathrm{ctu},\mathrm{on}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{on}},p_{o,\mathrm{ctu},\mathrm{on}}),(t_{o,\mathrm{ctu},\mathrm{on}},p_{c,\mathrm{ctu},\mathrm{now}})\};$

Step 3.5 is when adding counter when the last cycle has count down to maximal value, and current period adds counter and still meets counting condition, now adds counter and does not carry out work and output state and remain high level, and this situation is modeled as to transition t _{o, ctu, full}, add control places S ₂point to transition t _{o, ctu, full}directed arc; Add the p of storehouse institute _{i, rise}point to transition t _{o, ctu, full}directed arc; Add the p of storehouse institute _{r, off}point to transition t _{o, ctu, full}two-way arc; Add the p of storehouse institute _{c, ctu, now}point to transition t _{o, ctu, full}two-way arc and weights be PvMax; Add transition t _{o, ctu, full}point to the p of storehouse institute _{o, ctu, on}directed arc, gained transition set

the set of gained directed arc:

$\begin{array}{c}{F}_{o_6}=\{(S_2,t_{o,\mathrm{ctu},\mathrm{full}}),(p_{c,\mathrm{ctu},\mathrm{now}},t_{o,\mathrm{ctu},\mathrm{full}}),(p_{i,\mathrm{rise}},t_{o,\mathrm{ctu},\mathrm{full}}),(p_{r,\mathrm{off}},t_{o,\mathrm{ctu},\mathrm{full}}),\left(t_{o,\mathrm{ctu},\mathrm{full},p_{r,\mathrm{off}}}\right)\\ ,(t_{o,\mathrm{ctu},\mathrm{full}},p_{c,\mathrm{ctu},\mathrm{now}}),(t_{o,\mathrm{ctu},\mathrm{full}},p_{o,\mathrm{ctu},\mathrm{on}})\};\end{array}$

Step 3.6 adds counter output transition set

directed arc set $F_{\mathrm{ctu},o}={F_o}_1\&cup;{F_o}_2\&cup;F_{o_3}\&cup;{F_o}_3{\&cup;F_o}_5\&cup;{F_o}_6;$

Step 4, output add the Petri pessimistic concurrency control of counter:

Add the Petri net storehouse collection of counter as P=P _{ctu, i}∪ P _ctu∪ P _{ctu, o}, transition set is T=T _{ctu, i}∪ T _ctu∪ T _{ctu, o}, directed arc set is F=F _{ctu, i}∪ F _ctu∪ F _{ctu, o}, obtain a common Petri net N _ctu:=(P, T; F) and preliminary examination sign m ₀.

Images