CN103092753B - A kind of method PLC instruction catalogue program being converted to ordinary Petri net - Google Patents
A kind of method PLC instruction catalogue program being converted to ordinary Petri net Download PDFInfo
- Publication number
- CN103092753B CN103092753B CN201210589803.6A CN201210589803A CN103092753B CN 103092753 B CN103092753 B CN 103092753B CN 201210589803 A CN201210589803 A CN 201210589803A CN 103092753 B CN103092753 B CN 103092753B
- Authority
- CN
- China
- Prior art keywords
- function
- valued
- instruction
- variable
- valued function
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Abstract
A kind of method PLC instruction catalogue program being converted to ordinary Petri net of the present invention, achieve the automatic conversion from PLC instruction catalogue program to ordinary Petri net, because ordinary Petri net shooting conditions is succinct, logical thinking mode is simple, more visual and understandable, and gained Petri network can simulate the dynamic behaviour of PLC control system completely, be convenient to, to PLC process analysis, error correction, improve its reliability.
Description
Technical field
The present invention relates to a kind of method PLC instruction catalogue program being converted to ordinary Petri net.
Background technology
Programmable logic controller (PLC) (PLC) is typical controller in industrial control system, is widely used in the fields such as the monitoring of iron and steel, oil, chemical industry, electric power and traffic system.But the exploitation of PLC program is but faced with a high complexity difficult problem: under the support of bussing technique at the scene, industrial control system Structure and Scale complicacy rapid development, such as subway transportation control system and nuclear power control system etc., and the state number of system with sensor and topworks number exponentially level increase, the state of the logistics system be only made up of 5 self-navigation vehicles just reaches millions of, and therefore PLC program design faces inherent high computational complexity.
And high computational complexity brings two large-engineering problems: (1) program design and debugging work load loaded down with trivial details and huge, the program development cycle and cost of development restive; (2) traditional program debugging cannot verify each state (status number exponentially level increases), program correctness and reliability cannot be ensured, and program is made mistakes and may be caused major accident, such as train colliding, Europe sub-sharp Anna No. 5 rocket explosions and U.S. Threc-5 radioactivity malpractice etc.
In order to overcome above-mentioned engineering problem, needing exploitation PLC procedure simulation and software verification method, utilizing computing machine to complete procedure simulation and checking work, reduce program development cost, ensure program correctness and reliability.Therefore, needing PLC process simulation is mathematical model of the computer, is converted to a kind of mathematical model of the computer-Petri network by PLC programmed instruction, is that instrument emulates PLC program and verifies with Petri network.This Petri network is invented for Germany scientist Ka Er A Petri nineteen sixty, and be suitable for simulating asynchronous, concurrent dynamic system, existing strict formulation mode, has again avatars mode intuitively.
Summary of the invention
The object of the present invention is to provide a kind of method PLC instruction catalogue program being converted to ordinary Petri net, PLC instruction catalogue program is converted to a kind of mathematical model of the computer-Petri network, thus can be that instrument emulates PLC program and verifies with Petri network.
PLC instruction catalogue program is converted to a method for ordinary Petri net, comprise the steps:
Step 1, convert PLC instruction catalogue program to two-valued function function:
Given PLC instruction catalogue program is divided into multiple program network block by the number according to reprinting instruction " LD " or " LDN ", for each program network block, the variate-value in the variable store V of its correspondence is put 1,
Step 11, the search one by one carrying out from top to bottom for the STL program in present procedure network block;
If step 12 runs into instruction LD; using the initial input amount of the operand of its correspondence as two-valued function function; AND operation is done with variate-value in variable store V; result is substituted into formula Y=F (A; B; C ...) the middle equal sign right side, and again stored in storer V, jump to next instruction;
If step 13 runs into instruction LDN; using the initial input amount of the operand of its correspondence as two-valued function function; first measure non-to this input; then AND operation is done with variate-value in variable store V; result is substituted into formula Y=F (A, B, C ...) the middle equal sign right side; and again stored in storer V, jump to next instruction;
If step 14 runs into instruction A; using the input variable of the operand of its correspondence as two-valued function function; AND operation is done with variate-value in variable store V; connect with symbol " * ", substitute into formula Y=F (A, B; C ...) the middle equal sign right side; after computing, its result symbol " () " is drawn together, in the lump stored in storer V, jumped to next instruction;
If step 15 runs into AN, using the input variable of the operand of its correspondence as two-valued function function, first get non-to this variable, represent by symbol "-"; Then do AND operation with variate-value in variable store V, connect with symbol " * ", substitute into formula Y=F (A, B, C ...) the middle equal sign right side, draw together with symbol " () " after computing, in the lump stored in storer V, jumped to next instruction;
If step 16 runs into instruction O; using the input variable of the operand of its correspondence as two-valued function function; inclusive-OR operation is done with variate-value in variable store V; connect with symbol "+", substitute into formula Y=F (A, B; C ...) the middle equal sign right side; draw together with symbol " () " after computing, in the lump stored in storer V, jumped to next instruction;
If step 17 runs into instruction ON, using the input variable of the operand of its correspondence as two-valued function function, first get non-to this variable, represent by symbol "-"; Then do AND operation with variate-value in variable store V, connect with symbol " * ", substitute into formula Y=F (A, B, C ...) the middle equal sign right side, draw together with symbol " () " after computing, in the lump stored in variable store V, jumped to next instruction;
If step 18 runs into command N OT, first the variate-value in current storage is got non-, then again stored in storer V;
If step 19 run into instruction=, using the output variable of the operand of its correspondence as two-valued function function, the variate-value in actual registers is assigned to output variable, substitutes into formula Y=F (A, B, C ...) the middle equal sign left side, jump to next instruction;
Step 110 until in present procedure network block all STL programs searched complete;
Step 2, two-valued function function step 1 obtained are converted to ordinary Petri net:
Step 21, determine input quantity and output quantity number in two-valued function function, obtain input quantity set I=(i
1, i
2... i
m), output quantity set O=(o
1, o
2... o
n);
Step 22, operands all in two-valued function function are modeled as 2 (m+n) individual storehouse institute, wherein, each operand i
mor o
ncorresponding two storehouse institute (p respectively
off, p
on), represent i
mor o
noff-state and closure state, these storehouses form storehouse in ordinary Petri net set
The initial marking m of step 23, definition ordinary Petri net
0(p
ioff)=1, m
0(p
ion)+m
0(p
ioff)=1;
Step 24, for each operand i
mor o
n, do lower column operations to obtain transition and the directed arc of ordinary Petri net:
Step 241, according to formula A* (B+C)=A*B+A*C or A+B*C=(A+B) * (A+C), given two-valued function function is deformed into closo two-valued function function, determines closed operator set J=(j
1, j
2... j
m);
Step 2411, each closed operator in closed operator set J is modeled as a transition t;
Step 2412, determine input quantity value in closed operator and corresponding storehouse institute thereof, under this value, the output quantity of current closed two-valued function function is 1;
Step 2413, in step 2412, add a two-way arc in determined storehouse institute and transition t respectively;
Step 2414, storehouse institute centering corresponding to the output quantity of current closed two-valued function function, add one from p
offpoint to the directed arc of transition t, add one and point to p from transition t
ondirected arc;
Step 242, according to formula A*B+A*C=A* (B+C) or (A+B) * (A+C)=A+B*C, given two-valued function function is deformed into disconnect type two-valued function function, determines to disconnect operator set K=(k
1, k
2... k
m);
Step 2421, by disconnection operator set K each disconnect operator be modeled as one transition t:
Step 2422 is determined to disconnect the input quantity value in operator and corresponding storehouse institute thereof, and under this value, the output quantity of current closed two-valued function function is 0;
Step 2423, in step 2422, add a two-way arc in determined storehouse institute and transition t respectively;
Step 2424, storehouse institute centering corresponding to the output quantity of current closed two-valued function function, add one from p
onpoint to the directed arc of transition t, add one and point to p from transition t
offdirected arc;
Step 24, for corresponding to each input quantity storehouse institute right, add connection move t
xand t
y, and connect t
xinput and output be respectively the storehouse institute p of this node
offwith storehouse institute p
on, and t is moved in connection
yinput and output be respectively the p of this node
onand p
off, meet m
0(p
ion)+m
0(p
ioff)=1;
Step 25, remove the transition that can not excite according to the transition firing rules of ordinary Petri net, obtain final common Prtri net.
A kind of method PLC instruction catalogue program being converted to ordinary Petri net of the present invention, achieve the automatic conversion from PLC instruction catalogue program to ordinary Petri net, because ordinary Petri net shooting conditions is succinct, logical thinking mode is simple, more visual and understandable, and gained Petri network can simulate the dynamic behaviour of PLC control system completely, be convenient to, to PLC process analysis, error correction, improve its reliability.
Accompanying drawing explanation
Fig. 1 is the process flow diagram in the present invention, two-valued function function being converted to ordinary Petri net;
Fig. 2 is the table of comparisons in the embodiment of the present invention, PLC instruction catalogue program being converted to two-valued function function;
Fig. 3 is two-valued function function distortion cross-reference table in the embodiment of the present invention;
Fig. 4 is the ordinary Petri net schematic diagram converted in the embodiment of the present invention.
Below in conjunction with the drawings and specific embodiments, the invention will be further described.
Embodiment
First define following explanation of nouns:
Conventional basic bit operational order: the PLC program mentioned in the present invention is the instruction catalogue program that Siemens Company S7 series of PLC uses, also known as statement list (STL Statement List), so-called conventional basic bit operational order, refer to the set forming basic logic operations function command, comprise loading instruction LD, load anti-instruction LDN, contact series instruction A, AN, contact shunt instruction O, ON, logical consequence negate command N OT, coil drive instruction=;
Program network block: in instruction list (STL) program be made up of above-mentioned instruction, usually according to reprinting instruction LD or the number of loading anti-instruction LDN is divided into multiple more succinct block program by original compared with red tape, we are referred to as program network block, mark program number in network block with i;
Variable store (V): inner at PLC, programmed element has continued to use the title of traditional relay control system repeat circuit, and be classified as multiple relay, reservoir etc. according to its function, wherein variable reservoir (V) is used for storage of variables, it can deposit the intermediate result of steering logic operation in program process, also other data relevant to operation or task can be preserved, in the present invention, variable reservoir (V) emphasis is conceived to the intermediate result of its store control logic operation;
Two-valued function function: using logical variable as input, using operation result as output, so after the value of input variable is determined, the value of output is just thereupon fixed, and therefore exporting between input is a kind of funtcional relationship, we claim this funtcional relationship to be logical function, because the value of variable and output only has 0 and 1 two states, so we are referred to as two-valued function function, writing Y=F (A, B, C ...);
Closo two-valued function function and closed operator: at two-valued function function Y=F (A, B, C ...) in, if the combination of all computing variablees or computing variable connects in the mode of AND operation on the right of equation, we are referred to as closo two-valued function function, wherein, the combination of each computing variable or computing variable is called closed operator;
Disconnect type two-valued function function and disconnection operator: at two-valued function function Y=F (A, B, C ...) in, if the combination of all computing variablees or computing variable connects in the mode of inclusive-OR operation on the right of equation, we are referred to as disconnect type two-valued function function, wherein, the combination of each computing variable or computing variable is called disconnection operator.
A kind of method PLC instruction catalogue program being converted to ordinary Petri net of the present invention, specifically comprises the steps:
Step 1, convert PLC instruction catalogue program to two-valued function function:
Given PLC instruction catalogue program is divided into multiple program network block by the number according to reprinting instruction " LD " or " LDN ", for each program network block, the variate-value in the variable store V of its correspondence is put 1,
Step 11, the search one by one carrying out from top to bottom for the STL program in present procedure network block;
If step 12 runs into instruction LD; using the initial input amount of the operand of its correspondence as two-valued function function; AND operation is done with variate-value in variable store V; result is substituted into formula Y=F (A; B; C ...) the middle equal sign right side, and again stored in storer V, jump to next instruction;
If step 13 runs into instruction LDN; using the initial input amount of the operand of its correspondence as two-valued function function; first measure non-to this input; then AND operation is done with variate-value in variable store V; result is substituted into formula Y=F (A, B, C ...) the middle equal sign right side; and again stored in storer V, jump to next instruction;
If step 14 runs into instruction A; using the input variable of the operand of its correspondence as two-valued function function; AND operation is done with variate-value in variable store V; connect with symbol " * ", substitute into formula Y=F (A, B; C ...) the middle equal sign right side; after computing, its result symbol " () " is drawn together, in the lump stored in storer V, jumped to next instruction;
If step 15 runs into AN, using the input variable of the operand of its correspondence as two-valued function function, first get non-to this variable, represent by symbol "-"; Then do AND operation with variate-value in variable store V, connect with symbol " * ", substitute into formula Y=F (A, B, C ...) the middle equal sign right side, draw together with symbol " () " after computing, in the lump stored in storer V, jumped to next instruction;
If step 16 runs into instruction O; using the input variable of the operand of its correspondence as two-valued function function; inclusive-OR operation is done with variate-value in variable store V; connect with symbol "+", substitute into formula Y=F (A, B; C ...) the middle equal sign right side; draw together with symbol " () " after computing, in the lump stored in storer V, jumped to next instruction;
If step 17 runs into instruction ON, using the input variable of the operand of its correspondence as two-valued function function, first get non-to this variable, represent by symbol "-"; Then do AND operation with variate-value in variable store V, connect with symbol " * ", substitute into formula Y=F (A, B, C ...) the middle equal sign right side, draw together with symbol " () " after computing, in the lump stored in variable store V, jumped to next instruction;
If step 18 runs into command N OT, first the variate-value in current storage is got non-, then again stored in storer V;
If step 19 run into instruction=, using the output variable of the operand of its correspondence as two-valued function function.Variate-value in actual registers is assigned to output variable, substitutes into formula Y=F (A, B, C ...) the middle equal sign left side, jump to next instruction;
Step 110 until in current network block all STL programs searched complete.
Step 2, see Fig. 1, two-valued function function step 1 obtained is converted to ordinary Petri net:
Step 21, determine input quantity and output quantity number in two-valued function function, obtain input quantity set I=(i
1, i
2... i
m), output quantity set O=(o
1, o
2... o
n);
Step 22, operands all in two-valued function function are modeled as 2 (m+n) individual storehouse institute, wherein, each operand i
mor o
ncorresponding two storehouse institute (p respectively
off, p
on), represent i
mor o
noff-state and closure state, these storehouses form storehouse in ordinary Petri net set
The initial marking of step 23, definition ordinary Petri net: m
0(p
ioff)=1, m
0(p
ion)+m
0(p
ioff)=1;
Step 24, for each operand i
mor o
n, do lower column operations to obtain transition and the directed arc of ordinary Petri net:
Step 241, according to formula A* (B+C)=A*B+A*C or A+B*C=(A+B) * (A+C), given two-valued function function is deformed into closo two-valued function function, determines closed operator set J=(j
1, j
2... j
m);
Step 2411, each closed operator in closed operator set J is modeled as a transition t;
Step 2412, determine input quantity value in closed operator and corresponding storehouse institute thereof, under this value, the output quantity of current closed two-valued function function is 1;
Step 2413, in step 2412, add a two-way arc in determined storehouse institute and transition t respectively;
Step 2414, storehouse institute centering corresponding to the output quantity of current closed two-valued function function, add one from p
offpoint to the directed arc of transition t, add one and point to p from transition t
ondirected arc;
Step 242, according to formula A*B+A*C=A* (B+C) or (A+B) * (A+C)=A+B*C, given two-valued function function is deformed into disconnect type two-valued function function, determines to disconnect operator set K=(k
1, k
2... k
m);
Step 2421, by disconnection operator set K each disconnect operator be modeled as one transition t:
Step 2422 is determined to disconnect the input quantity value in operator and corresponding storehouse institute thereof, and under this value, the output quantity of current closed two-valued function function is 0;
Step 2423, in step 2422, add a two-way arc in determined storehouse institute and transition t respectively;
Step 2424, storehouse institute centering corresponding to the output quantity of current closed two-valued function function, add one from p
onpoint to the directed arc of transition t, add one and point to p from transition t
offdirected arc;
Step 24, for corresponding to each input quantity storehouse institute right, add connection move t
xand t
y, and connect t
xinput and output be respectively the storehouse institute p of this node
offwith storehouse institute p
on, and t is moved in connection
yinput and output be respectively the p of this node
onand p
off, meet m
0(p
ion)+m
0(p
ioff)=1;
Step 25, remove the transition that can not excite according to the transition firing rules of ordinary Petri net, obtain final common Prtri net.
Embodiment: two fans move in parallel the control program of door
The PLC instruction catalogue program met the demands is write according to the control specification of system, as shown in Figure 2, the input end I0.0 of PLC connects moving door power initiation button, and I0.1 connects power-off button, and I0.2 connects the sensing switch of moving door 1, I0.3 connects the sensing switch of moving door 2, output terminal M0.0 welding system starting relay, Q0.0 connects power initiation pilot lamp, and Q0.1 connects power-off pilot lamp, Q0.2 connects the motor controlling moving door 1 switch, and Q0.3 connects the motor controlling moving door 2 switch.When moving door power initiation button is pressed in the external world, moving door system energization, power initiation pilot lamp is bright.When there being guest to be in the scope of moving door 1 sensor covering, the switching variable I0.2 that its sensor is corresponding closes, and then makes the coil Q0.0 of moving door 1 obtain electric, and namely moving door 1 is opened, and moving door 2 is closed.In like manner, when there being guest to be in the scope of moving door 2 sensor covering, the switching variable I0.3 that its sensor is corresponding closes, and then makes the coil Q0.1 of moving door 2 obtain electric, and namely moving door 2 is opened.
As shown in Figure 2, the PLC instruction catalogue program write is converted to two-valued function function by process in accordance with the present invention 1, exactly the form of the logical relation mathematical function between each operand in PLC instruction catalogue program is showed, then as shown in Figure 3, by existing two-valued function function distortion, obtain the closed operator of needs and disconnect operator, finally converting thereof into ordinary Petri net, as shown in Figure 4.
The above, it is only present pre-ferred embodiments, not technical scope of the present invention is imposed any restrictions, thus every above embodiment is done according to technical spirit of the present invention any trickle amendment, equivalent variations and modification, all still belong in the scope of technical solution of the present invention.
Claims (1)
1. PLC instruction catalogue program is converted to a method for ordinary Petri net, it is characterized in that comprising the steps:
Step 1, convert PLC instruction catalogue program to two-valued function function:
Given PLC instruction catalogue program is divided into multiple program network block by the number according to reprinting instruction " LD " or " LDN ", for each program network block, the variate-value in the variable store V of its correspondence is put 1,
Step 11, the search one by one carrying out from top to bottom for the STL program in present procedure network block;
If step 12 runs into instruction LD, using the initial input amount of the operand of its correspondence as two-valued function function, AND operation is done with variate-value in variable store V, result is substituted into two-valued function function Y=F (A, B, CL) the equal sign right side in, and again stored in storer V, jump to next instruction;
If step 13 runs into instruction LDN, using the initial input amount of the operand of its correspondence as two-valued function function, first measure non-to this input, then AND operation is done with variate-value in variable store V, result is substituted into the equal sign right side in two-valued function function Y=F (A, B, CL), and again stored in storer V, jump to next instruction;
If step 14 runs into instruction A, using the input variable of the operand of its correspondence as two-valued function function, AND operation is done with variate-value in variable store V, connect with symbol " * ", substitute into two-valued function function Y=F (A, B, CL) the equal sign right side in, after computing, its result symbol " () " is drawn together, in the lump stored in storer V, jumped to next instruction;
If step 15 runs into AN, using the input variable of the operand of its correspondence as two-valued function function, first get non-to this variable, represent by symbol "-"; Then do AND operation with variate-value in variable store V, connect with symbol " * ", substitute into two-valued function function Y=F (A, B, CL) the middle equal sign right side, draw together with symbol " () " after computing, in the lump stored in storer V, jump to next instruction;
If step 16 runs into instruction O, using the input variable of the operand of its correspondence as two-valued function function, inclusive-OR operation is done with variate-value in variable store V, connect with symbol "+", substitute into two-valued function function Y=F (A, B, CL) the equal sign right side in, draw together with symbol " () " after computing, in the lump stored in storer V, jumped to next instruction;
If step 17 runs into instruction ON, using the input variable of the operand of its correspondence as two-valued function function, first get non-to this variable, represent by symbol "-"; Then do AND operation with variate-value in variable store V, connect with symbol " * ", substitute into two-valued function function Y=F (A, B, CL) the middle equal sign right side, draw together with symbol " () " after computing, in the lump stored in variable store V, jump to next instruction;
If step 18 runs into command N OT, first the variate-value in current storage is got non-, then again stored in storer V;
If step 19 run into instruction=, using the output variable of the operand of its correspondence as two-valued function function, the variate-value in actual registers is assigned to output variable, substitute into two-valued function function Y=F (A, B, CL) the middle equal sign left side, jump to next instruction;
Step 110 until in present procedure network block all STL programs searched complete;
Step 2, two-valued function function step 1 obtained are converted to ordinary Petri net:
Step 21, determine input quantity and output quantity number in two-valued function function, obtain input quantity set I=(i
1, i
2, L i
m), output quantity set O=(o
1, o
2, L o
n);
Step 22, operands all in two-valued function function are modeled as 2 (m+n) individual storehouse institute, wherein, each operand i
mor o
ncorresponding two storehouse institute (p respectively
off, p
on), represent i
mor o
noff-state and closure state, these storehouses form storehouse in ordinary Petri net set
The initial marking m of step 23, definition ordinary Petri net
0(p
ioff)=1, m
0(p
ion)+m
0(p
ioff)=1;
Step 24, for each operand i
mor o
n, do lower column operations to obtain transition and the directed arc of ordinary Petri net:
Step 241, according to formula A* (B+C)=A*B+A*C or A+B*C=(A+B) * (A+C), given two-valued function function is deformed into closo two-valued function function, determines closed operator set J=(j
1, j
2, L j
m);
Step 2411, each closed operator in closed operator set J is modeled as a transition t;
Step 2412, determine input quantity value in closed operator and corresponding storehouse institute thereof, under this value, the output quantity of current closed two-valued function function is 1;
Step 2413, in step 2412, add a two-way arc in determined storehouse institute and transition t respectively;
Step 2414, storehouse institute centering corresponding to the output quantity of current closed two-valued function function, add one from p
offpoint to the directed arc of transition t, add one and point to p from transition t
ondirected arc;
Step 242, according to formula A*B+A*C=A* (B+C) or (A+B) * (A+C)=A+B*C, given two-valued function function is deformed into disconnect type two-valued function function, determines to disconnect operator set K=(k
1, k
2, L k
m);
Step 2421, by disconnection operator set K each disconnect operator be modeled as one transition t:
Step 2422 is determined to disconnect the input quantity value in operator and corresponding storehouse institute thereof, and under this value, the output quantity of current closed two-valued function function is 0;
Step 2423, in step 2422, add a two-way arc in determined storehouse institute and transition t respectively;
Step 2424, storehouse institute centering corresponding to the output quantity of current closed two-valued function function, add one from p
onpoint to the directed arc of transition t, add one and point to p from transition t
offdirected arc;
Step 25, for corresponding to each input quantity storehouse institute right, add transition t
xand t
y, and connect transition t
xinput and output be respectively storehouse institute p
offwith storehouse institute p
on, and connect transition t
yinput and output be respectively storehouse institute p
onwith storehouse institute p
off, meet m
0(p
ion)+m
0(p
ioff)=1;
Step 26, remove the transition that can not excite according to the transition firing rules of ordinary Petri net, obtain final common Prtri net.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210589803.6A CN103092753B (en) | 2012-12-29 | 2012-12-29 | A kind of method PLC instruction catalogue program being converted to ordinary Petri net |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210589803.6A CN103092753B (en) | 2012-12-29 | 2012-12-29 | A kind of method PLC instruction catalogue program being converted to ordinary Petri net |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103092753A CN103092753A (en) | 2013-05-08 |
CN103092753B true CN103092753B (en) | 2015-08-26 |
Family
ID=48205354
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210589803.6A Active CN103092753B (en) | 2012-12-29 | 2012-12-29 | A kind of method PLC instruction catalogue program being converted to ordinary Petri net |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103092753B (en) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103366069A (en) * | 2013-07-31 | 2013-10-23 | 济南大学 | Hierarchical algorithm of selective laser sintering |
CN103488116B (en) * | 2013-08-13 | 2016-05-18 | 华侨大学 | A kind of method that PLC timer module is converted to ordinary Petri net |
CN103729289B (en) * | 2013-11-29 | 2016-04-06 | 北京广利核系统工程有限公司 | A kind ofly utilize the graphic method indicating HPD logic reliability |
CN103699048B (en) * | 2013-12-06 | 2016-08-17 | 华侨大学 | A kind of method that PLC counter is converted to order Petri network |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20020054239A (en) * | 2000-12-27 | 2002-07-06 | 오길록 | A transformation method from SDL into CPN by data flow and self-loop analysis |
CN101571810A (en) * | 2009-05-31 | 2009-11-04 | 清华大学 | Method for implementing program, method for verifying program result, devices and system |
CN102411330A (en) * | 2011-08-25 | 2012-04-11 | 华侨大学 | Method for converting PLC program into common Petri net |
-
2012
- 2012-12-29 CN CN201210589803.6A patent/CN103092753B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20020054239A (en) * | 2000-12-27 | 2002-07-06 | 오길록 | A transformation method from SDL into CPN by data flow and self-loop analysis |
CN101571810A (en) * | 2009-05-31 | 2009-11-04 | 清华大学 | Method for implementing program, method for verifying program result, devices and system |
CN102411330A (en) * | 2011-08-25 | 2012-04-11 | 华侨大学 | Method for converting PLC program into common Petri net |
Non-Patent Citations (1)
Title |
---|
《Method for Translating Ladder Diagrams to Ordinary Petri Nets》;Xuekun Chen;《51st IEEE Conference on Decision and Control》;20121013;全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN103092753A (en) | 2013-05-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102411330B (en) | Method for converting PLC program into common Petri net | |
CN103092753B (en) | A kind of method PLC instruction catalogue program being converted to ordinary Petri net | |
Pavlovic et al. | Model checking PLC software written in function block diagram | |
Guironnet et al. | Towards an open-source solution using Modelica for time-domain simulation of power systems | |
CN104200055B (en) | Inrush Simulation method and device in the case of extra-high voltage transformer idle-loaded switching-on | |
CN102541725B (en) | Simulation test method of numerical control system functional module | |
CN104615071A (en) | PLC (programmable logic controller) programming method for automatic stereoscopic warehouse system based on Petri net | |
CN204832465U (en) | Detecting system in power battery life -span | |
Ugarte Querejeta et al. | Implementation of a holistic digital twin solution for design prototyping and virtual commissioning | |
CN101915894B (en) | Method for testing real-time finite-sate machine in digital logic device | |
CN103294859A (en) | Intelligent design platform for medium-voltage circuit breakers | |
CN109376484B (en) | Three-dimensional operation simulation method and system for warehouse logistics system | |
CN204904584U (en) | Cross walk traffic light control system based on PLC | |
CN104036667A (en) | Method for realizing intelligent substation virtual terminal connection design training | |
CN103093046A (en) | Method for converting field programmable gate array (FPGA) Vhsic hardware description language (VHDL) to ordinary Petri network | |
CN204989967U (en) | Quick prototype platform of hybrid vehicle control unit | |
US20180365361A1 (en) | Computer-implemented method for simulation of an electrical circuit | |
Benitez-Pina et al. | Design of automatic control system based on unified timed hybrid Petri net | |
Vyatkin et al. | Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems | |
CN115392118A (en) | Debugging system for intelligent diagnosis of mechanical fault of high-voltage isolating switch | |
CN106796430A (en) | Monitoring control device test device | |
Lüder et al. | Validation of behavior specifications of production systems within different phases of the engineering process | |
Silva et al. | Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation | |
Lüder et al. | Challenges of mechatronical engineering of production systems: An automation system engineering view | |
Dong et al. | Control configuration based on AOE and its application in the power allocation of BESSs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C53 | Correction of patent for invention or patent application | ||
CB03 | Change of inventor or designer information |
Inventor after: Luo Jiliang Inventor after: Qi Pengfei Inventor after: Chen Xuekun Inventor before: Qi Pengfei Inventor before: Luo Jiliang Inventor before: Chen Xuekun |
|
COR | Change of bibliographic data |
Free format text: CORRECT: INVENTOR; FROM: QI PENGFEI LUO JILIANG CHEN XUEKUN TO: LUO JILIANG QI PENGFEI CHEN XUEKUN |
|
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |