JP3623052B2 - Device model generation method, system model generation method, and sequence control program generation method - Google Patents

Description

[0001]
BACKGROUND OF THE INVENTION
This inventionThe machineModelGeneration method andThis equipment modelincludingSystem model generation method and system control from this system modelcontrolGenerate a programSequence controlIt relates to the program generation method.
[0002]
[Prior art]
FIG. 16 is a diagram showing a Petri net which is a conventional system model. In the figure, 51 is a place Pi (i = 1,..., 6) represented by a circle, 52 is represented by a rectangle, and transition Ti (i = 1,..., 4) is ignited according to the firing rule. , 53 is an arrow 1 from the place 51 to the transition 52, 54 is an arrow 2 from the transition 52 to the place 51, 55 is represented by a black circle in the place 51, and moves on the place 51 as the transition 52 is fired. This is a token that represents a state transition.
[0003]
Next, this system will be described.
FIG. 16 is a simple example of a Petri net that models a system in which two parallel processes are performed after a certain process is performed, and another process is performed after both of the two parallel processes are completed. is there.
[0004]
In the case of FIG. 16, first, the place P with the token 55 is placed.₁51 process, place P₁When process 51 is completed, transition T₁52 can be ignited. Transition T₁When 52 fires, place P₁Token 55 is removed from 51 and Place P₂, P₃A token 55 is added to 51. And place P with token 55 added₂, P₃Processing is performed at 51.
Next, place P₂When process 51 is completed, transition T₂52 can fire, place P₂Token 55 is removed from 51 and Place P₄A token 55 is added to 51. And place P with token 55 added₄Processing is performed at 51.
[0005]
Similarly, place P₃When process 51 is completed, transition T₃52 can fire, place P₃Token 55 is removed from 51 and Place P₅A token 55 is added to 51. And place P with token 55 added₅Processing is performed at 51.
Finally, place P with token 55₄, P₅When both processes 51 are completed, the transition T₄52 can be ignited. Transition T₄When 52 fires, place P₄, P₅Token 55 is removed from 51 and Place P₆A token 55 is added to 51. And place P₆The processing of 51 is performed and the system is terminated.
[0006]
The Petri net is a model that has been used very often for modeling, and was created for the purpose of modeling a system of simultaneous elements that are related to each other.
The feature of Petri net is that it has three functions at the same time: visual, easy simulation, and mathematical analysis. Petri nets are visual and mathematical modeling tools that can be applied to many systems, especially models information processing systems that feature parallel, asynchronous, nondeterministic, distributed, and stochastic behavior. It has been used as a powerful tool to make it easier.
[0007]
Typical application fields for Petri nets are system performance evaluation and communication protocols. In addition, it is also applied to fields such as a flexible manufacturing system (FMS), a multiprocessor system, a fault tolerant system, and a programmable logic controller (PLC).
[0008]
[Problems to be solved by the invention]
As shown above, Petri Net, which is a conventional system model, is a very useful modeling tool. However, if the system to be modeled becomes large, the labor required for the modeling work is enormous. become. Moreover, even if it can be modeled, it has a drawback that the modeled model becomes very complicated and difficult to understand.
[0009]
The present invention has been made to solve such a problem, and even if a system to be modeled becomes a large-scale system, an equipment model that can model the system without requiring much laborGeneration methodAnd system modelLeThe purpose is to provide a generation method, and thissystemGenerate a program to control the system from the modelGeneration of sequence control programThe purpose is to provide a method.
[0010]
[Means for Solving the Problems]
The device model generation method according to the present invention includes a status indicator indicating the status of the target device,
An external transition indicator representing a state transition to the state indicator by information from the first device different from the target device;
Can be distinguished from the external transition indicatorAnd it has a shape that can be combined with the external transition indicator,An internal transition indicator representing flowing information for causing a state transition to a second device different from the target device;
A device model of the target device is generated using a correspondence indicator representing a correspondence relationship between the state indicator, the external transition indicator, and the internal transition indicator.
[0011]
In the device model generation method of the present invention, the external transition indicator represents a direction indicating a flow of information from the device model of the first device.
Further, in the device model production method of the present invention, the external transition indicator is an internal transition indicator of the device model of the first device.Can be combinedShape.
Furthermore, in the device model generation method of the present invention, the internal transition indicator indicates the direction of information flow to the device model of the second device.
Furthermore, in the device model generation method of the present invention, the internal transition indicator is an external transition indicator of the device model of the second device.Can be combinedShape.
[0012]
The system model generation method according to the present invention is as follows.At least a first device status indicator representing a state of the first device, and a first device internal transition indicator representing flowing information for causing a state transition to a second device different from the first device; Generating a device model of the first device using a first device corresponding indicator indicating a correspondence relationship between the first device status indicator and the first device external transition indicator;
In addition, at least a second device status indicator indicating the state of the second device can be distinguished from the first device internal transition indicator, and the state transition is made to the second device status indicator based on information from the first device. A second device external transition indicator representing the above, and a second device correspondence indicator representing a correspondence relationship between the second device status indicator and the second device external transition indicator. Generate a device model,
Further, a system model including the device model of the first device and the device model of the second device is generated by combining the first device internal transition indicator and the second device external transition indicator..
[0013]
Also,System model generation method of the present inventionsoIsThe device model of the first device can be identified from the first device internal transition indicator, and represents a state transition in the first device state indicator based on information from a third device different from the first device. Including a first device external transition indicator, and the device model of the second device can be identified from the second device external indicator, and information for causing a state transition to occur in a fourth device different from the first device. Includes a second device internal transition indicator that represents the flow.
further,In the system model generation method of the present invention, the device model generation unit generates the device models of the first device and the second device, and the system model generation unit generates the internal information of the first device based on these device models. The system model is generated by combining a transition indicator and the second device external transition indicator..
Furthermore, in the system model generation method of the present invention, the device model generation unit is configured to control the first device and the second device based on a template that represents control sequence information of the first device and the second device. Create each device model.
[0014]
According to the present inventionSequence controlprogramofThe generation method isA program generation method in a system that includes first and second devices and first and second control devices corresponding to each of these devices, and each of the control devices controls the corresponding devices, A map information generation unit, a device map information generation unit, and a program generation unit, wherein the map information generation unit includes system configuration information representing information related to the system, and the system model according to claim 6, Creating device map information representing a correspondence relationship between the devices constituting the device models of the first and second devices and the devices of the first and second control devices, and the device map information generating unit includes the first, Device map information representing a correspondence relationship between the second device and the first and second control devices is created, and the program generation unit is configured to generate the first map based on the device map information and the device map information. , A plurality of corresponding to the second control unitCreate a control program.
[0015]
In addition, the present inventionIn the sequence control program generation method, the system configuration information includes information representing the first and second devices constituting the system, and the first and second control devices for controlling the first and second devices. And information representing input / output devices of the first and second control devices.Yes.
Furthermore, the present inventionIn the sequence control program generation method, the device map information includes information representing a correspondence relationship between the device model of the first and second devices and one or both of the input device and the output device of the control device. Contains.
[0016]
Furthermore, according to the present inventionIn the sequence control program generation method, the program generation unit generates the plurality of control programs so that synchronization is established between the first control device and the second control device..
Furthermore,In the sequence control program generation method of the present invention, the information generated by the map information generation unit is generated according to the constraint conditions of the first and second control devices..
[0017]
DETAILED DESCRIPTION OF THE INVENTION
Embodiment 1 FIG.
FIG. 1 is a diagram showing a system model construction method according to the first embodiment of the present invention. In the figure, 1 is a device model template representing a basic control sequence of each device constituting the system, and 2 is a device model for creating a device model 3 representing a device control sequence actually used from the device model template 1. The generation unit 4 is a system modeling unit that generates a system model 5 representing a control sequence of the entire system from the device model 3 generated by the device model generation unit 2.
[0018]
FIG. 2 is a diagram showing a device model template according to the first embodiment of the present invention. In the figure, 11 is state information describing all the names of states that can be taken by the device model serving as a template, 12 is event information describing all the names of events that cause transitions between states of the device model serving as a template, and 13. Is state / event relation information in which all the states of the device model as a template and the connection between events are described. Reference numeral 14 denotes stay time information described for all the states of the virtual time that remains in each state of the device model as a template.
[0019]
Next, a system model construction method will be described. In this system model construction method, after creating a device model for the devices constituting the system, the device models are combined to create a system model.
First, a device model template 1 as shown in FIG. 2 is created from the device control sequence. As shown in FIG. 1, the device model generation unit 2 adds information about a specific device name, input device name, output device name, etc. to the device model template 1 as shown in FIG. A device model 3 is created.
[0020]
In the device model generation unit 2, a device model 3 is created by adding information about a specific device name, input device name, output device name, and the like to the device model template 1. The device model 3 may be created by making changes and adding the specific information to them.
Further, instead of creating the device model template 1, a device model template 1 created in advance may be used.
Furthermore, in the case where many devices that operate similar to the system are included, if the same template 1 is used for a plurality of devices and a device model for those devices is created, The effect of reuse increases.
[0021]
FIG. 3 is a diagram showing information necessary to formally define a device model created by the device model generation unit 2. In the figure, 11 is state information describing all the names of states that the device model can take, 12 is event information describing all event names that cause transitions between states of the device model, and 13 is the device model. State / event relation information in which all the connections between the state and the event are described, 14 is the staying time information in which the virtual time during which the device stays in the state is described for all states, and 15 corresponds to the device model Device name information describing the name of the device, 16 is input device name information describing all the names of the input devices of the control device, and 17 is an output device name describing all the names of the output devices of the control device. Information.
[0022]
By giving such information to the device model, it is possible to formally describe the control sequence of the device, and it is also possible to automatically generate a control program from this model.
[0023]
Next, a device model created by the device model generation unit 2 shown in FIG. 1 will be described.
FIG. 4 is a diagram showing a device model according to the first embodiment of the present invention. The device model shown in FIG. 4A represents a process of transporting an object given from another device to a predetermined position by a conveyor. The device model shown in FIG. 4B represents that an object given to the robot from another device is conveyed to a predetermined position where the robot processes and processed. In the figure, 21 is a place that represents the state of the device, 22 is an external event that occurs from outside the device as an event that changes the state of the device, 23 is an internal event that occurs inside the device as an event that changes the state of the device, and , 24 is an arrow representing a device control sequence by connecting a place 21 representing the state of the device and an external event 22 or an internal event 23 of the event whose state is to be changed. In the present embodiment, the device model is based on a state transition model.The indicator indicating the external event 22 has a different shape so that it can be distinguished from the indicator indicating the internal event 23.
[0024]
In the equipment model of the conveyor shown in FIG. 4A, when the start external event 22 is triggered from another equipment model in the state of the place 21 of the stop, the conveyor transports an object to a predetermined position. Transition to the place 21 state. When processing in this state is performed and processing in the place 21 of the transfer is completed, an arriving internal event 23 is then triggered, causing an external event 22 of another device and the end of conveyor processing. A transition is made to the state of the place 21 of the stop representing the state, and the process ends. When a start external event 22 is triggered again from another device model, the state of the stop place 21 is changed to the state of the transfer place 21 and the above processing is performed.
[0025]
Further, in the robot device model shown in FIG. 4B, when the start external event 22 is triggered from another device model in the state of the stop place 21, the robot transports the object to a predetermined position. Transition to the state of the place 21 of load. When the processing in this state is performed and the processing in the state of the load place 21 is completed (the object is transported to a predetermined position and the robot ends the processing), the complete internal event 23 is then triggered. This causes an external event 22 of the device of FIG. 5 and causes a transition to the state of the place 21 of the stop representing the state of the robot processing end, and the processing ends. When a start external event 22 is triggered again from another device model, the state of the stop place 21 is changed to the state of the load place 21 and the above processing is performed.
[0026]
By distinguishing and describing events into two types of external events 22 and internal events 23 in this way, it becomes possible to easily introduce a mechanism in which a plurality of device models are combined between cooperating events, It is possible to easily identify the type of event.
[0027]
Next, the system modeling unit 4 shown in FIG. 1 creates a system model 5 by combining a plurality of device models 3 created by the device model generation unit 2.
[0028]
Next, a system model creation method will be described.
FIG. 5 is a diagram showing a system model according to the first embodiment of the present invention, and shows an equipment model representing the conveyor control sequence shown in FIG. 4A and a robot control sequence shown in FIG. 4B. It is a system model generated from the device model. In the figure, reference numeral 25 denotes a combined event in which an external event 22 and an internal event 23 of the device are combined. Others are the same as those described with reference to FIG.
[0029]
In the system model shown in FIG. 5, when an object is given to the conveyor from another device, the object is transferred to a predetermined position by the conveyor, and when the object is transferred to the predetermined position, the robot moves the object. This is a model in which the robot is processed by carrying it to a predetermined position and performing these processes.
[0030]
The system model combines the triggering event of the related equipment model (in this case, the internal internal event 23) and the triggering external event (in this case, the robot device model start external event 22). The system model is created by displaying them.
[0031]
For example, the system model shown in FIG. 5 represents a model in which the robot process is started after the conveyor transports an object to a predetermined position. Therefore, the conveyor device model illustrated in FIG. The start event 22 of the robot device model may be triggered from the internal event 23 of the robot, and the combined internal event 23 and the start external event 22 of the robot device model are combined to create a combined event.
[0032]
Therefore, in the combined event 25, when the processing of the state 21 of the conveyor transfer is completed, the state transitions to the state 21 of the conveyor stop place and the state is in the state of the place 21 of the robot equipment model. , The state transitions to place 21 of load.
[0033]
In the present embodiment, the device model generation unit 2 creates the device model 3 from the device model template 1, but this is not based on the device model template 1 but directly from the control sequence of the device. It may be created.
In the present embodiment, the system model in which one internal event and one external event are combined has been described. However, in addition to this, an external event and an external event may be combined, and a plurality of events may be combined. Can also be combined.
[0034]
In the present embodiment, after creating a device model of the devices constituting the system, the system model of the entire system is created by combining them, so even for a large-scale system composed of a large number of devices, It is only necessary to create and combine easy-to-handle device models as many as the number of devices that make up the system, making it easy to create a system model. In particular, when the same device is included in the system, the same template can be used. In addition, models can be managed on a device-by-device basis, enabling flexible system changes, high reusability, and easy maintenance.
[0035]
Embodiment 2. FIG.
FIG. 6 is a diagram showing a device model according to the second embodiment of the present invention. The reference numerals in the figure are the same as those in FIG. The method for creating a device model according to the present embodiment is also the same as that of the first embodiment, and a description thereof will be omitted.
FIG. 6A shows a device model in which an event is only an external event. When a start external event 22 is triggered in the state of a stop place 21, the state changes to the state of the place 21 of load1 and the state of the place 21 of load2. In the state of the place 21 of load 1 and the place 21 of load 2, when a quit external event 22 is triggered, the state transits to the state of the place 21 of wait.
[0036]
FIG. 6B shows a device model in which the event is an internal event only. When the switch1on internal event 23 occurs in the state of the place 21 of the stop, the state changes to the state of the place 21 of the load1. In this state, even if the internal event 23 of switch2on occurs, the state does not change to the state of the place 21 of load2 (the state has already changed from the state of the place 21 of stop). When the internal event 23 of comp1 occurs in the state of the place 21 of load1, a transition is made to the state of the place 21 of wait. When the internal event 23 of switch2on occurs in the state of the place 21 of the stop, the state transitions to the state of the place 21 of load2. In this state, even if the internal event 23 of switch1on occurs, the state does not change to the state of the place 21 of load1 (the state has already changed from the state of the place 21 of stop). When the internal event 23 of comp2 occurs in the state of the place 21 of load2, a transition is made to the state of the place 21 of wait.
[0037]
FIG. 7 is a diagram showing a device model according to the second embodiment of the present invention. The reference numerals in the figure are the same as those in FIG. The method for creating a device model according to the present embodiment is also the same as that of the first embodiment, and a description thereof will be omitted.
FIG. 7A shows a parallel branch. When a start external event 22 occurs in the state of the place 21 of the stop, the state changes to the state of the place 21 of the load1 and the state of the place 21 of the load2. In other words, both processes are executed in parallel. When the complete internal event 23 occurs in this state, the state transitions to the state 21 of the wait place 21.
[0038]
FIG. 7B shows a selection branch. When the external event 22 of start1 occurs in the state of the place 21 of stop, the state changes to the state of the place 21 of load1. In this state, even if an external event of start2 occurs, the state does not change to the state of place2 of load2 (the state has already changed from the state of place 21 of stop). When the event comp1 occurs in the state of the place 21 of load1, the state transits to the state of the place 21 of wait. When a start2 event occurs in the state of the place 21 of the stop, the state changes to the state of the place 21 of the load2. In this state, even if the event of start1 occurs, the state does not change to the state of place 21 of load1 (the state has already changed from the state of place 21 of stop). When the event comp2 occurs in the state of the place 21 of load2, the state transits to the state of the place 21 of wait. In the model of FIG. 7B, one of the two processes is selected and executed.
[0039]
In the present embodiment, selection branching and parallel branching can be described, and the degree of freedom in model description can be increased.
[0040]
Embodiment 3 FIG.
FIG. 8 is a diagram showing a system model construction method according to the third embodiment of the present invention. In the figure, 1 is a device model template representing a basic control sequence of each device constituting the system, and 2 is a device model for creating a device model 3 representing a device control sequence actually used from the device model template 1. A generating unit 4 is a system modeling unit that generates a system model 5 representing a control sequence of the entire system from the device model 3 created by the device model generating unit 2 and the cooperative relationship information 6 representing the cooperative relationship among a plurality of devices. It is.
[0041]
Next, a system model construction method will be described.
Since the creation of the device model 3 in the device model generation unit 2 is the same as that in the first embodiment, the description thereof is omitted.
[0042]
The system modeling unit 4 creates a system model 5 from the device model 3 created by the device model generation unit 2 and the cooperative relationship information 6 representing the cooperative relationship between devices. Since the devices constituting the system operate in cooperation with each other, for example, there is a case where the robot starts the work loading operation when the conveyor finishes transferring the work. In order to automatically combine the device models based on such a cooperative relationship, a table describing the cooperative relationship information among a plurality of device models as shown in FIG. 9 is defined, and the cooperative relationship information is referred to. By combining two events having a single event, the models are automatically combined to generate a system model.
[0043]
The table describing the cooperative relationship information is represented by a set of sets of active events (external events, internal events) that cause other events and passive events (external events) that are caused by other events. Describes a cooperative relationship in which event A causes event A1 and a cooperative relationship in which event B causes event B1.
[0044]
Further, when defining the cooperative relationship information 6 between devices constituting the system, the definition can be performed by instructing an arbitrary event of the model figure displayed on the screen. For example, as shown in FIG. 5, when it is desired to define a cooperative relationship in which an internal event 23 called conveyor convey causes an external event 22 called robot start, the internal event 23 called conveyor convey and the robot displayed on the screen are displayed. By instructing an external event 22 called “start”, cooperative relationship information as shown in FIG. 9 is described. That is, in the cooperative relationship information between the conveyor and the robot, the internal event 23 (active event) of the conveyor arriving and the external event 22 (passive event) of the robot start are described as a set of cooperative relationships. .
[0045]
In the present embodiment, the system modeling unit creates the system model from the cooperative relationship information and the device model representing the correspondence relationship between a plurality of device models, so when there is a change in the devices constituting the system, etc. However, it is possible to make a change by creating a device model for the changed one and combining it. In addition, since the device model and the cooperative relationship information thereof are separated, the cooperative relationship between the devices can be easily grasped even when the relationship between the devices is complicated.
[0046]
Embodiment 4 FIG.
FIG. 10 is a diagram showing a control program generation method according to the fourth embodiment of the present invention. In the figure, 32 inputs system configuration information 31 consisting of system name information, configuration control device information, and configuration device information and a system model 5 representing a control sequence of the entire system, and controls the devices constituting the system and the devices. It is a map information setting unit that outputs device map information 33 indicating the correspondence relationship with the control device and device map information 34 indicating the correspondence relationship between the input / output devices on the model and the input / output devices of each control device. Reference numeral 35 denotes a program generation unit that inputs the device model information 33 and the device map information 34 output from the system model 5 and the map information setting unit 32 and outputs a control program 36 for controlling the system.
[0047]
FIG. 11 is a diagram showing system configuration information describing information on control devices, devices, and the like constituting the system. In the figure, 41 is system name information describing the name of the system, 42 is the name of the control device constituting the system, configuration control device information describing information about the control device constituting the system, such as input / output devices of the control device, Reference numeral 43 denotes component device information describing information related to the devices constituting the system, such as the names of devices constituting the system and the arrangement locations of the devices.
[0048]
FIG. 12 is a diagram showing device map information describing the correspondence between the devices constituting the system and the control devices that control the devices.
The device map information is for generating an appropriate device control program for the control device. In the example shown in FIG. 12, the device represented by the device A is represented by the control device A. It corresponds to the control device and describes that the device represented by the device B corresponds to the control device represented by the control device B.
[0049]
As can be understood from the above description, the table describing the correspondence between the device and the control device that controls the device is represented by a set of combinations of the device name and the control device name. In the example of FIG. 12, the control program for the device A is generated for the control device A, and the control program for the device B is generated for the control device B.
[0050]
FIG. 13 is a diagram showing device map information describing the correspondence between the input / output devices used in the model and the input / output devices used on the control device side.
The device map information is for automatically generating an appropriate control program in which the input / output devices on the model correspond to the input / output devices of the control device. In the example shown in FIG. The output device A corresponds to the device represented by the control device side input / output device A, and the model side input / output device B corresponds to the device represented by the control device side input / output device B. It is described.
[0051]
As can be understood from the above description, the table describing the correspondence between the input / output device names is represented by a set of combinations of the input / output device names on the model side and the input / output device names on the control device side.
[0052]
Next, a program generation method will be described.
First, the map information setting unit 32 shown in FIG. 10 extracts information necessary for setting map information from the system model 5 representing the control sequence of the entire system and the system configuration information 31 shown in FIG. FIG. 12 shows the user by associating the devices constituting the system with the control devices that control the devices and associating the input / output devices on the model with the input / output devices of the control devices. The device map information 33 shown in FIG. 13 and the device map information 34 shown in FIG.
[0053]
Next, in the program generation unit 35, the device model information 33 describing the correspondence between the system model 5, the device for controlling the system, and the control device, the input / output devices on the model, and the input / output devices of each control device The device map information 34 describing the correspondence relationship is input, and a control program 36 for controlling the system is created.
[0054]
In the present embodiment, since the device map information describing the correspondence between the devices constituting the system as shown in FIG. 12 and the control device that controls the devices is referred to, a program for controlling the devices is used as the device control information. Can be generated separately for each control device to be controlled.
[0055]
In addition, since a mechanism for automatically generating a control program is created with reference to device map information describing the correspondence of input / output devices as shown in FIG. 13, only by changing the table describing the correspondence of input / output devices, The input / output device of the control device can be changed, and the wiring can be easily changed.
[0056]
FIG. 14 is a diagram showing a control program output by the program generation unit 35 shown in FIG.
[0057]
The SEND command is a command for sending the message indicated by the message identifier to the control device indicated by the control device name of the message transmission destination. In the SEND command format, the control device name of the message transmission destination and the message identifier are specified after the command SEND. Is described. In the case of the example shown in FIG. 14, a message with an identifier of 1000 is sent to the controller named Controller2.
[0058]
The RECV command is a command for receiving the message indicated by the message identifier from the control device indicated by the control device name of the message transmission source. In the format of the RECV command, the control device name and message of the message transmission source are provided after the command RECV. Is described. In the case of the example illustrated in FIG. 14, a message with an identifier of 1001 is received from the controller named Controller 2.
Also, in this case, instructions (RSTM3, SET M5) below the RECV instruction are executed only when a message with an identifier of 1001 is received from the controller named Controller2.
[0059]
In the present embodiment, as in the example shown in FIG. 14, a SEND instruction for transmitting a message to another control apparatus and a RECV instruction for receiving a message from another control apparatus are used in the program. Therefore, the program can be executed while synchronizing the plurality of control devices.
[0060]
In the present embodiment, device map information and device map information are respectively created from the system model and system configuration information in the map information setting unit, and the device created by the system model and map information setting unit in the program generation unit Although the map information and the device map information are input and the control program is created, the device map information is not always necessary, and only the device map information may be created and the control program may be created from them.
Further, by referring to the device map information shown in FIG. 12, a control program corresponding to each control device that controls the device may be individually generated.
[0061]
In the present embodiment, by using device map information and device map information, a control program for the system can be created in a distributed manner for each control device, and the control program can be easily created even if the system is scaled up be able to. Also, the user can create a system model without being conscious of program distribution.
[0062]
Embodiment 5. FIG.
In the fourth embodiment, all of the device map information assigned to the control device is described using the device map information describing the correspondence between the names of the devices constituting the system shown in FIG. 12 and the names of the control devices that control the devices. Although one control program for controlling a device is generated for each control device, it is more flexible to generate a control program that operates on one control device for each control device. Here, a process is a control program that is grouped to control one or more devices.
[0063]
FIG. 15 is a diagram showing device map information according to the fifth embodiment. FIG. 15 is a diagram showing device map information describing the correspondence between the devices constituting the system, the process for controlling the devices, and the control device for controlling the devices. .
In the case of the example shown in FIG. 15, each device represented by the devices A, B, and C corresponds to the control device represented by the control device A, and the control program for the devices A and B is a process A. It is described that the control program for device C is generated as process B.
[0064]
In the case of the present embodiment, both the process A and the process B are generated for the control device A, but it goes without saying that these processes may be generated for different control devices.
[0065]
In the present embodiment, a control program is generated for each process using device map information describing the correspondence between the device shown in FIG. 15 and the process that controls the device and the device that actually controls the device. The control program can be handled in a process unit smaller than that of the control device, and can be dealt with more flexibly.
[0066]
Embodiment 6 FIG.
In the fourth embodiment, the map information setting unit 32 shown in FIG. 10 extracts information (device map information 33 and device map information 34) necessary for generating the control program 36 from the system model 5 and the system configuration information 31. Then, referring to the information, the user associates the device with the control device, and associates the input / output device between the model side and the control device side. The device map information and device map information may be automatically created so as not to exceed the maximum number of input / output contacts.
[0067]
In addition, device map information and device map information are automatically created in consideration of the positional relationship between the control device and the device, such as preventing the distance between the control device and the device from being too large based on the positional relationship between the control device and the device. May be.
[0068]
Furthermore, device map information and device map information may be automatically created in consideration of the number of devices controlled by each control device, such as equalizing the number of devices controlled by each control device.
[0069]
Furthermore, device map information and device map information may be automatically created according to the CPU load of each control device, such as equalizing the CPU load of each control device.
[0070]
In the present embodiment, device map information and device map information are automatically created based on the constraint conditions, so that appropriate device map information and device map information that meet the constraint conditions can be created. In addition, since device map information and device map information are automatically created, the user's labor can be reduced.
[0071]
【The invention's effect】
Since the present invention is configured as described above, the following effects can be obtained.
The device model according to the present invention causes a state indicator representing the state of the device, an external transition indicator representing state transition to the state indicator based on information from another first device model, and state transition. Correspondence relationship between one or both of the internal transition indicator indicating that the information of the information is passed to another second device model, one or both of the external transition indicator and the internal transition indicator, and the status indicator Is provided, and the type of event can be easily identified, and the operation of the device and the relationship with other devices can be easily understood. Furthermore, when creating a system model, it is possible to easily create a system model by creating a device model for each device that constitutes the system and combining them, thereby reducing the effort to create the system model. be able to.
[0072]
Since the external transition indicator represents a direction indicating the flow of information from another device model, it is possible to describe a device model representing a control sequence of a device that operates according to the operation of another device.
[0073]
Since the internal transition indicator represents the direction indicating the flow of information to another device model, it is possible to describe a device model representing a control sequence of a device that affects the operation of another device.
[0074]
The external transition indicator has a shape corresponding to one or both of the internal transition indicator of another device model and the external transition indicator of another device model. It is easy to understand the relationship between devices in the system model and to easily connect events.
[0075]
A system model according to the present invention combines one or both of an internal transition indicator and an external transition indicator of a first device model with an external transition indicator of a second device model having an external transition indicator. Therefore, the relationship between devices can be easily understood.
[0076]
A system model generation method according to the present invention includes a device model generation unit that generates a plurality of device models from a control sequence of a plurality of devices, and a plurality of device models that are generated by the device model generation unit by coupling them together. Since the system model generation unit for creating a model is provided, a system model can be easily created even for a complex system composed of a large number of devices.
[0077]
Since the system model generator creates a system model that includes the cooperative relationship information between multiple device models, even if the cooperative relationship between devices is changed, it is possible to change the cooperative relationship simply by changing the cooperative relationship information. Can be created, and the labor required for system change can be reduced.
[0078]
The system model generation unit creates a system model by associating the external transition indicator of the device model with one or both of the internal transition indicator of another device model or the external transition indicator of another device model. Therefore, the cooperative relationship between the device models can be easily defined visually.
[0079]
The device model generation unit creates a device model from a template that represents the control sequence information of multiple devices instead of the function of creating multiple device models from the control sequence of multiple devices, thus reducing the effort to create a device model be able to.
[0080]
In the program generation method according to the present invention, a map information generation unit that generates device map information that represents a correspondence relationship between devices from system configuration information that represents information about the system and a system model, and a map information generation unit Since a program generation unit for creating a control program from device map information and a system model is provided, it is possible to flexibly cope with frequent system changes.
[0081]
Since the map information generation unit creates device map information representing the correspondence between the devices constituting the system and the control device that controls the device, the program generation unit creates a control program including the device map information. Thus, it is possible to flexibly cope with a change in the arrangement of the devices or a change in the devices constituting the system.
[0082]
Since the device map information includes information indicating the correspondence between the device and the process that controls the device and the correspondence between the process and the control device corresponding to the process, a plurality of information is provided for one control device. The control program can be created by dividing, and if a problem occurs in the device, the control can be interrupted in units of processes.
[0083]
Since the program generator creates multiple control programs for multiple control devices, it creates appropriate control programs for multiple control devices, even for large-scale systems with multiple control devices. can do.
[0084]
System configuration information includes information that represents the devices that make up the system, information that represents the control devices that control the devices that make up the systems, and information that represents the input / output devices of the control devices. By doing so, it is possible to easily create device map information and device map information.
[0085]
The device map information includes information that indicates the correspondence between the device model and either or both of the input device and / or output device of the control device, so when the wiring between the device and the control device is changed In addition, the change can be easily handled.
[0086]
When the device is controlled by a plurality of control devices, the program generation unit generates a control program so that the control devices are synchronized with each other. Therefore, the user determines which control device each device is controlled by. A control program can be created without awareness.
[0087]
Since the information created by the map information generation unit is created according to the constraint conditions of the control device, it is possible to automatically create appropriate device map information and device map information that meet the constraint conditions.
[Brief description of the drawings]
FIG. 1 is a diagram showing a system model generation method according to a first embodiment of the present invention.
FIG. 2 shows a template according to the first embodiment of the present invention.
FIG. 3 is a diagram schematically showing a device model according to the first embodiment of the present invention.
FIG. 4 is a diagram showing a device model according to the first embodiment of the present invention.
FIG. 5 is a diagram showing a system model according to the first embodiment of the present invention.
FIG. 6 is a diagram showing a device model according to the second embodiment of the present invention.
FIG. 7 is a diagram showing a device model according to the second embodiment of the present invention.
FIG. 8 is a diagram showing a system model generation method according to the third embodiment of the present invention.
FIG. 9 is a diagram showing cooperation relationship information according to the third embodiment of the present invention.
FIG. 10 is a diagram showing a program generation method according to the fourth embodiment of the present invention.
FIG. 11 is a diagram showing system configuration information according to the fourth embodiment of the present invention.
FIG. 12 is a diagram showing device map information according to the fourth embodiment of the present invention.
FIG. 13 is a diagram showing device map information according to the fourth embodiment of the present invention.
FIG. 14 is a diagram showing a control program according to a fourth embodiment of the present invention.
FIG. 15 is a diagram showing device map information according to the fifth embodiment of the present invention.
FIG. 16 is a diagram showing a Petri net that is a conventional system model.
[Explanation of symbols]
1 device model template 2 device model generator
3 Device Model 4 System Modeling Department
5 System model 6 Cooperation information
11 Status information 12 Event information
13 State / event related information 14 Stay time information
15 Device name information 16 Input device name information
17 Output device name information
21 places 22 external events
23 Internal event 24 Arrow
25 Join event
31 System configuration information 32 Map information setting section
33 Device map information 34 Device map information
35 Program generator 36 Control program
41 System name information 42 Configuration controller information
43 Component equipment information
51 places 52 transitions
53 Arrow 1 54 Arrow 2
55 tokens

Claims (14)

A status indicator indicating the status of the target device;
An external transition indicator representing a state transition to the state indicator by information from the first device different from the target device;
An internal transition indicator that has a shape that can be identified from the external transition indicator and that can be combined with the external transition indicator, and represents information for causing a state transition to occur in a second device different from the target device; ,
A device model generation method, wherein a device model of the target device is generated using a correspondence indicator representing a correspondence relationship between the state indicator, the external transition indicator, and the internal transition indicator. A method of generating equipment model according to claim 1, wherein the external transition indicator is the equipment model you characterized in that it indicates the direction showing the flow of information from the device model of the first device Generation method . The device model production method according to claim 1, wherein the external transition indicator has a shape that can be combined with an internal transition indicator of the device model of the first device. A method of generating equipment model according to claim 1, wherein said inner transition indicator is method of generating equipment model you characterized by representing the direction of the flow of information to the second device equipment model. 2. The device model generation method according to claim 1, wherein the internal transition indicator has a shape that can be combined with an external transition indicator of the device model of the second device. At least a first device status indicator representing a state of the first device, and a first device internal transition indicator representing flowing information for causing a state transition to a second device different from the first device; Generating a device model of the first device using a first device corresponding indicator indicating a correspondence relationship between the first device status indicator and the first device external transition indicator;
In addition, at least the second device status indicator indicating the state of the second device and the first device internal transition indicator can be identified, and the state transition is made to the second device status indicator based on information from the target device. A second device external transition indicator representing the second device status indicator and a second device corresponding indicator representing a correspondence relationship between the second device status indicator and the second device external transition indicator. Generate the model
Further, a system model including a device model of the first device and a device model of the second device is generated by combining the first device internal transition indicator and the second device external transition indicator. System model generation method. The system model generation method according to claim 6, wherein the device model of the first device can be identified from the first device internal transition indicator, and the first device is based on information from a third device different from the first device. A first device external transition indicator indicating that a device state indicator causes a state transition; and the device model of the second device can be identified from the second device external transition indicator. generation system features and to Resid stem model comprises a second device internal transition indicator indicating the flow of information for causing the state transitions to another fourth device. The system model generation method according to claim 6, wherein a device model generation unit generates each device model of the first device and the second device, and the system model generation unit, based on each of these device models, generation system features and to Resid stem model to generate the system model that combines said second device external transition indicators as the first device internal transition indicator. 9. The system model generation method according to claim 8, wherein the device model generation unit is configured to use the first device and the second device based on a template representing control sequence information of the first device and the second device. A system model generation method characterized by creating each device model. A generation method of a sequence control program in a system that includes first and second devices and first and second control devices corresponding to each of these devices, and each of these control devices controls the corresponding device. A map information generation unit, a device map information generation unit, and a program generation unit, wherein the map information generation unit includes system configuration information representing information related to the system, and a system model according to claim 6. , Creating device map information representing a correspondence relationship between the devices constituting the device models of the first and second devices and the devices of the first and second control devices, and the device map information generating unit 1. Create device map information representing a correspondence relationship between the second device and the first and second control devices, and the program generator generates the device map information and the device map information Hazuki, the first sequence control program generating method you characterized by creating a plurality of control programs corresponding to the second control unit. 11. The sequence control program generation method according to claim 10, wherein the system configuration information includes information representing the first and second devices configuring the system and the first and second devices that control the first and second devices. , information indicating the second control unit, the first generation method of the sequence control program characterized in that it comprises an information representative of the input and output devices of the second control unit. 11. The sequence control program generation method according to claim 10, wherein the device map information is one of an input device and an output device of the device model of the first and second devices and the first and second control devices. or the sequence control program generating method you characterized in that it contains information representing a correspondence relationship between both. 11. The sequence control program generation method according to claim 10, wherein the program generation unit generates the plurality of control programs so that synchronization is established between the first control device and the second control device. the sequence control program generation method shall be the. A sequence control program generating method according to claim 10, wherein the information created by the map information generation unit, the first sequence you characterized in that it is prepared in accordance with the constraints of the second control device method of generating the control program.

Images