JPH1063330A - Device model, system model, system model generating system and program generating system - Google Patents

Abstract

PROBLEM TO BE SOLVED: To model even a modelling object system of a large scale without necessitating a labor by providing a corresponding display unit expressing a corresponding relation between an external transition display unit, an internal transmission display unit and a state display unit. SOLUTION: This system is provided with the corresponding display unit expressing an external transition display unit, the internal transition display unit and the state display unit. In this generating system, a device model generating part 2 prepares plural device models from the control sequence of the device. A system model generating part 4 generates a system model 5 by connecting the plural prepared models 3 with each other. Then the part 4 generates the mode 15 by including the cooperating relation between the plural models 3. In addition the part 4 generates the model 5 by coordinate one or both of the internal transition display unit of another model 3 and the internal transition display unit of another model 3 and the external terminal of the model 3.

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a device model for modeling a device and the like, a system model of a system for configuring the device and the like from the device model, and
The present invention relates to a system model generation method and a program generation method for generating a program for controlling a system from the system model.

[0002]

2. Description of the Related Art FIG. 16 shows a Petri net as a conventional system model. In the figure, 51 is a place Pi (i = 1,..., 6) represented by a circle, 52
Is a rectangle, a transition Ti (i = 1,..., 4) that fires 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, Reference numeral 55 denotes a token which is represented by a black circle in the place 51 and moves on the place 51 with the firing of the transition 52, thereby indicating a state transition.

Next, this system will be described. FIG. 16 is a simple example of a Petri net, which 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.

In the case of FIG. 16, first, the processing of the place P ₁ 51 having the token 55 is performed, and the place P ₁ 51
Is completed, the transition T ₁ 52 can be fired. When the transition T ₁ 52 fires, the token 55 is removed from the place P ₁ 51 and the place P
_{2. A} token 55 is added to P ₃ 51. Then, the processing is performed in the places P ₂ and P ₃ 51 to which the token 55 has been added. Next, when the processing of the place P ₂ 51 ends, the transition T ₂ 52 can be fired, the token 55 is removed from the place P ₂ 51, and the place P ₄
A token 55 is added to 51. And token 5
5 is treated with a place P ₄ 51 applied is performed.

Similarly, when the processing of the place P ₃ 51 is completed, the transition T ₃ 52 can be fired, the token 55 is removed from the place P ₃ 51, and the place P 35
_{5 A} token 55 is added to 51. Then, the processing is performed in the place P ₅ 51 to which the token 55 has been added.
Finally, when the processing of both the places P ₄ and P ₅ 51 where the token 55 is located is completed, the transition T ₄ 52 can be fired. When the transition T ₄ 52 fires, the token 55 is removed from the places P ₄ and P ₅ 51,
Token 55 is applied to the place P ₆ 51. Then, the system terminates performs processing place P ₆ 51.

[0006] Petri nets are very popular models for modeling and have been created to model systems consisting of interconnected, concurrent elements. . The characteristics of Petri nets are that they are visual, that they can be easily simulated, and that they can be mathematically analyzed.
It has two functions at the same time. Petri nets are visual and mathematical modeling tools applicable to many systems, especially for modeling information processing systems characterized by concurrent, asynchronous, nondeterministic, distributed, and stochastic behavior. Has been used as a powerful tool for

[0007] Petri nets are typically applied to system performance evaluation and communication protocols. In addition, Flexible Manufacturing
System (FMS), multiprocessor system, fault-tolerant system, Programm
able Logic Controller (PL
C) and the like.

[0008]

As described above, the Petri net, which is a conventional system model, is a very useful modeling tool. However, when the system to be modeled becomes large, The effort spent on modeling is enormous. Further, even if the model can be modeled, there is a disadvantage that the modeled model becomes very complicated and difficult to understand.

The present invention has been made in order to solve such a problem. Even if a system to be modeled becomes a large-scale system, the system can be modeled without much effort. It is an object of the present invention to provide a device model, a system model, and a method of generating the same, and a method of generating a program for controlling the system from the model.

[0010]

According to the present invention, there is provided a device model according to the present invention, which includes a status indicator representing the status of a device and an external transition representing a status transition to a status indicator based on information from another first device model. One or both of the internal transition indicator indicating that the indicator and the information for causing the state transition to flow to another second device model, and one or both of the external transition indicator and the internal transition indicator Both of them are provided with a corresponding indicator indicating a corresponding relationship with the status indicator.

The external transition indicator indicates a direction indicating the flow of information from another device model. Further, the internal transition indicator indicates a direction indicating the flow of information to another device model. Furthermore, 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.

[0012] A system model according to the present invention comprises an external transition indicator of a second device model having one or both of an internal transition indicator and an external transition indicator of the first device model and an external transition indicator. Are combined.

[0013] In the system model generation method according to the present invention, a device model generation unit for generating a plurality of device models from a control sequence of a plurality of devices and a plurality of device models generated by the device model generation unit are connected to each other. And a system model generation unit for generating a system model. Further, the system model generation unit creates a system model including cooperative relationship information between a plurality of device models. Further, the system model generation unit associates one or both of the internal transition indicator of another device model and the external transition indicator of another device model with the external transition indicator of the device model, thereby forming the system model. create. Furthermore, the device model generation unit generates a plurality of device models from a template representing information on the control sequences of the plurality of devices instead of the function of generating the plurality of device models from the control sequences of the plurality of devices.

According to the program generation method of the present invention, a map information generation section for generating device map information indicating a correspondence between devices from system configuration information indicating information about a system and a system model, and the map information generation section And a program generation unit for generating a control program from the device map information and the system model created in the above.

The map information generation unit creates device map information indicating the correspondence between the devices constituting the system and the control device that controls the devices, and the program generation unit performs control including the device map information. Create a program. Further, the device map information includes information indicating a correspondence between a device and a process for controlling the device and a correspondence between the process and a control device corresponding to the process. Furthermore, the program generator creates a plurality of control programs corresponding to the plurality of control devices.

[0016] The system configuration information includes information representing the devices constituting the system, information representing the control device for controlling the devices constituting the system, and information representing the input / output devices of the control device. . Furthermore, the device map information includes information indicating the correspondence between the device model and one or both of the input device and the output device of the control device. In addition, the program generation unit generates a control program such that when the devices are controlled by a plurality of control devices, the control devices are synchronized with each other. Further, the information created by the map information generation unit includes:
It is created according to the constraints of the control device.

[0017]

BEST MODE FOR CARRYING OUT 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 control sequence of devices actually used from the device model template 1. A generation unit 4 is 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.
Is a system modeling unit that creates

FIG. 2 is a diagram showing a template of the device model according to the first embodiment of the present invention. In the figure, reference numeral 11 denotes state information in which all possible states of a device model serving as a template are described, reference numeral 12 denotes event information in which all names of events that cause transition between states of the device model serving as a template, 13 Is state / event relation information in which all the connections between the state of the device model serving as the template and the event are described. Reference numeral 14 denotes stay time information in which virtual times during which the apparatus model serving as a template remains in each state are described for all states.

Next, a system model construction method will be described. In the system model construction method, after a device model for a device constituting the system is created, the device model is combined to create a system model. First, the template 1 of the device model as shown in FIG. 2 is created from the control sequence of the device. Then, as shown in FIG. 1, the device model generation unit 2 adds information on specific device names, input device names, output device names, and the like to the device model template 1 as shown in FIG. Device model 3 is created.

The device model generation unit 2 creates the device model 3 by adding information on specific device names, input device names, output device names, and the like to the device model template 1. May be changed, and the above-described specific information may be added thereto to create the device model 3. Instead of creating the device model template 1, a device model template 1 created in advance may be used.
Further, in the case where many devices that operate in a similar manner to the system are included, if the same template 1 is used for a plurality of devices, a device model for those devices is created. The effect of reuse increases.

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, reference numeral 11 denotes state information in which all names of states that can be taken by the device model are described; 12, event information in which all names of events that cause transitions between states of the device model are described; 14 is state / event relation information in which all connections between states and events are described; 14 is stay time information in which a virtual time during which a device remains in a state is described for all states;
Reference numeral 15 denotes device name information in which names of devices corresponding to the device models are described, 16 denotes input device name information in which all names of input devices of the control device are described, and 17 denotes names of output devices of the control device. This is the described output device name information.

By giving such information to the device model, the control sequence of the device can be formalized (forma).
1), and a control program can be automatically generated from this model.

Next, a device model created by the device model generator 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. Things, Figure 4
The device model shown in (b) expresses that an object given from another device to the robot is transported to a predetermined position where the robot processes and processed. In the figure, reference numeral 21 denotes a place indicating the state of the device, 22 denotes an external event generated from outside the device as an event for changing the state of the device, 23 denotes an internal event generated inside the device as an event for changing the state of the device, and , 2
Reference numeral 4 denotes an arrow indicating a control sequence of the device by connecting a place 21 indicating the state of the device and an external event 22 or an internal event 23 of an event for changing the state. In the present embodiment, the device model is based on a state transition model.

In the equipment model of the conveyor shown in FIG.
When the external event 22 of the art is triggered from another equipment model, the conveyor moves the object to a predetermined position.
The state transits to the state of the place 21 of nsfer. And
Perform processing in this state and place 21 in transfer
When the processing in the state of the above is completed, an internal event 23 of “arrive” is next caused to cause an external event 22 of another device, and at the same time, transit to a state of a place 21 of “stop” representing a processing completion state of the conveyor. The process ends. And again from another device model
When the external event 22 of t is triggered, the state of the place 21 of the stop is changed to the place 21 of the transfer.
And the above processing is performed.

In the robot device model shown in FIG. 4B, when a start external event 22 is triggered from another device model in the state of the stop place 21, the robot moves the object to a predetermined position. Transits to the state of the place 21 of the load to be conveyed. When the processing in this state is performed and the processing in the state of the load place 21 is completed (the object is conveyed to a predetermined position and the robot ends the processing), then the internal event 23 of complete is generated, and In addition, the external event 22 of the device is caused, and the state is changed to the state of the stop place 21 indicating the state of the processing end of the robot, and the processing ends. Then, when the start external event 22 is triggered again from another device model, the stop place 2
Transition from the state of 1 to the state of the place 21 of the load,
Perform the above processing.

As described above, the events are separately described as two types, the external event 22 and the internal event 23, so that a mechanism in which a plurality of device models cooperate with each other can be easily introduced. In addition, the type of the event can be easily identified.

Next, the system modeling unit 4 shown in FIG. 1 combines the plurality of device models 3 created by the device model generation unit 2 to create a system model 5.

Next, a method of creating a system model will be described. FIG. 5 is a diagram showing a system model according to the first embodiment of the present invention. FIG. 5 shows an equipment model showing the control sequence of the conveyor shown in FIG. 4A and a control sequence of the robot shown in FIG. And a system model generated from the obtained device model. In the figure, reference numeral 25 denotes a combined event in which the external event 22 and the internal event 23 of the device are combined. Others are the same as those described with reference to FIG.

The system model shown in FIG. 5 is such that when an object is given to a conveyor from another device, the object is conveyed to a predetermined position by the conveyor, and when the object is conveyed to the predetermined position, the robot This is a model in which the object is transported to a predetermined position, the processing is performed, and the processing of the robot is completed.

[0030] The system model is an event that causes a device model related to each other (in this case, "arriving").
The system model is created by combining and displaying the internal event 23) and the external event caused by the event (in this case, the external event 22 of the start of the device model of the robot).

For example, the system model shown in FIG. 5 represents a model in which the processing of the robot is started after the processing of transporting an object to a predetermined position by the conveyor.
From the internal event 23 of the conveyor device model shown in FIG.
The external event 22 of t may be caused to occur, and the internal event 23 of the live and the external event 22 of the start of the device model of the robot are combined to create a combined event.

Therefore, in the connection event 25, when the processing of the state of the place 21 of the transfer of the conveyor is completed, the state transits to the state of the place 21 of the stop of the conveyor and the state is changed to the stop of the equipment model of the robot.
When the state is the place 21 of the place, the state transits to the place 21 of the load.

In this embodiment, the device model generation unit 2 creates the device model 3 from the device model template 1, but this is not performed from the device model template 1 but directly from the control sequence of the device. Model 3 may be created. In the present embodiment,
Although the system model in which one internal event and one external event are combined has been described, an external event and an external event may be combined, or a plurality of events may be combined. it can.

In the present embodiment, after a device model of a device constituting a system is created, the device models are combined to create a system model of the entire system. However, it is only necessary to create and combine easy-to-handle device models for the number of devices constituting the system, and it is possible to easily 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.

Embodiment 2 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. Further, the method of creating the device model according to the present embodiment is the same as that in the first embodiment, and a description thereof will be omitted. FIG. 6A shows a device model in which events are external events only. When a start external event 22 is triggered in the state of the stop place 21, the state of the load 21 place 21 and the lo
The state transits to the state of the place 21 of ad2. When the external event 22 of “quit” is triggered while the place 21 of the load 1 and the place 21 of the load 2 are in the state, the state transits to the state of the place 21 of the “wait”.

FIG. 6B shows a device model in which the event is only an internal event. When the internal event 23 of switch1on occurs in the state of the stop place 21, the lo
The state transits to the state of the place 21 of ad1. In this state, even if the internal event 23 of switch2on occurs,
The state does not transit to the state of the place 21 of the oad2 (the state has already transited from the state of the place 21 of the stop). comp in the state of place 21 of load1
Place 2 of wait when internal event 23 of 1 occurs
1 state. When the internal event 23 of switch2on occurs in the state of the place 21 of the stop, the state transits to the state of the place 21 of the load2. In this state, even if the internal event 23 of switch1on occurs, the state does not transit to the state of the place 21 of load1 (the state has already transited 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, the state transits to the state of the place 21 of wait.

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. Further, the method of creating the device model according to the present embodiment is the same as that in the first embodiment, and a description thereof will be omitted. FIG. 7A shows a parallel branch, and
External event 22 of start in the state of place 21
Occurs, the status of place 21 of load1 and load
The state transits to the state of the place 21 of the second place. That is, both processes are executed in parallel. When the internal event 23 of complete occurs in that state, w
The state transits to the state of the place 21 of ait.

FIG. 7B shows a selective branch, in which the external event 22 of the start 1 is set in the state of the place 21 of the stop.
Occurs, the state transits to the state of the place 21 of load1. In this state, even if an external event of start2 occurs, the state does not transit to the state of the place 21 of load2 (the state has already transited from the state of the place 21 of stop). When the event of comp1 occurs in the state of the place 21 of the load1, the place 2 of the wait
1 state. When the event of start2 occurs in the state of the place 21 of the stop, the state transits to the state of the place 21 of the load2. In this state,
Even if the event of t1 occurs, place 21 of load1
(The state has already transitioned from the state of the place 21 with the stop). When the event of comp2 occurs in the state of the place 21 of the load2, the state transits to the state of the place 21 of the wait. FIG. 7 (b)
Model indicates that one of the two processes is selected and executed.

In this embodiment, it is possible to describe the selective branch and the parallel branch, and it is possible to increase the degree of freedom in describing the model.

Embodiment 3 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 control sequence of devices actually used from the device model template 1. A generation unit 4 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 and cooperative relationship information 6 indicating a cooperative relationship between a plurality of devices. It is.

Next, a system model construction method will be described. The creation of the device model 3 by the device model generation unit 2 is the same as in the first embodiment, and a description thereof will be omitted.

The system modeling section 4 creates a system model 5 from the equipment model 3 created by the equipment model generation section 2 and the cooperative relationship information 6 representing the cooperative relationship between the equipment. 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 by such a cooperative relationship, a table describing cooperative relationship information between a plurality of device models as shown in FIG. 9 is defined, and the cooperative relationship information is referred to. By combining two events with
Automatically combine models to generate a system model.

The table describing the cooperative relationship information contains active events (external events,
It is represented by a set of pairs of an internal event) and a passive event (external event) caused by another event. In the example of FIG. 9, a cooperative relationship in which event A causes event A1 and event B causes event B1. A cooperative relationship is described.

Further, when defining the cooperative relationship information 6 between the devices constituting the system, the definition can be made by designating 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 the internal event 23 of the conveyor "arriv" causes the external event 22 of the robot start, the internal event 23 of the conveyor "arriv" displayed on the screen and the robot By specifying the external event 22 of “start”, cooperative relationship information as shown in FIG. 9 is described. That is, the cooperative relationship information between the conveyor and the robot includes an internal event 23 called “arriv” of the conveyor.
An external event 22 (passive event) called (active event) and a robot start are described as a set of cooperative relationships.

In this embodiment, the system model is created by the system modeling unit from the cooperative relationship information indicating the correspondence between a plurality of device models and the device model. In such a case, the device model can be created for the changed device, and the device model can be changed. Further, since the device model and their cooperative relationship information are separated, the cooperative relationship between the devices can be easily grasped even when the relationship between the devices is complicated.

Embodiment 4 FIG. FIG. 10 is a diagram illustrating a control program generation method according to the fourth embodiment of the present invention. In the figure, reference numeral 32 designates system configuration information 31 including 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 devices configuring the system and the devices. A map information setting unit that outputs device map information 33 indicating the correspondence between the control devices and device map information 34 indicating the correspondence 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 system model 5 and the device map information 33 and the device map information 34 output by the map information setting unit 32 and outputs a control program 36 for controlling the system.

FIG. 11 is a diagram showing system configuration information in which information on control devices and devices constituting the system is described. 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 that describes information about the components that make up the system, such as the names of the components that make up the system and the locations of the components.

FIG. 12 is a diagram showing device map information describing correspondence between devices constituting the system and a control device for controlling the devices. The device map information is for generating a control program for a device appropriate 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. In correspondence with the control device, it is described that the device represented by the device B corresponds to the control device represented by the control device B.

As can be seen from the above description, the table describing the correspondence between a device and a control device that controls the device is represented by a set of pairs of the name of the device and the name of the control device. In the case of the example of FIG.
Is generated, and the control program of the device B is generated for the control device B.

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 input / output devices on the model correspond to input / output devices of the control device. In the case of 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. Has been described.

As can be seen from the above description, the table describing the correspondence between input / output device names is represented by a set of pairs of the names of the input / output devices on the model side and the names of the input / output devices on the control device side. .

Next, a method of generating a program 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. Presented to the user,
The equipment map shown in FIG. 12 by associating the equipment that constitutes the system with the control device that controls the equipment and associating the input / output device on the model with the input / output device of each control apparatus. The information 33 and the device map information 34 shown in FIG. 13 are created.

Next, the program generation unit 35 uses the system model 5, device map information 33 describing the correspondence between devices for controlling the system and control devices, input / output devices on the model, and input of each control device. The device map information 34 describing the correspondence with the output device is input, and a control program 36 for controlling the system is created.

In this embodiment, since the equipment map information describing the correspondence between the equipment constituting the system as shown in FIG. 12 and the control device for controlling the equipment is referred to, the program for controlling the equipment is referred to. Can be separately generated for control devices that control the equipment.

Since a mechanism for automatically generating a control program is created by referring to the device map information describing the correspondence between input and output devices as shown in FIG. 13, the table describing the correspondence between input and output devices is changed. Alone, it is possible to change the input / output device of the control device,
The wiring can be easily changed.

FIG. 14 is a diagram showing a control program output by the program generator 35 shown in FIG.

The SEND command is a command for sending a message indicated by a message identifier to the control device indicated by the name of the control device of the message transmission destination. In the format of the SEND command, the control device name of the message transmission destination is added after the command SEND. Describes the message identifier. In the case of the example shown in FIG. 14, 100 is sent to the control device named Controller2.
A message with an identifier of 0 will be sent.

The RECV instruction is an instruction for receiving a message indicated by a message identifier from the control device indicated by the control device name of the message transmission source. In the format of the RECV instruction, the control device of the message transmission source is added after the instruction RECV. The name and the message identifier are described. In the case of the example shown in FIG. 14, a message with an identifier of 1001 is received from a control device of Controller2. In this case, the Controller
Only when a message with the identifier 1001 is received from the control device 2, the commands below the RECV command (RSTM3, SET M5) are executed.

In this embodiment, as in the example shown in FIG. 14, a SEND instruction for transmitting a message to another control device during a program and a RECV instruction for receiving a message from another control device are provided. Can be used, so that the program can be executed while synchronizing the plurality of control devices.

In this embodiment, the map information setting unit creates device map information and device map information from the system model and system configuration information, and the program generation unit creates the device map information and device map information using the system model and map information setting unit. Although the control program is created by inputting the obtained device map information and device map information, 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. In addition, 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.

In the present embodiment, by using the device map information and the device map information, a control program for the system can be created separately for each control device, and the control program can be easily created even if the system becomes large-scale. Can be created. In addition, the user can create a system model without being aware of the distribution of programs.

Embodiment 5 In Embodiment 4, FIG.
One control program for controlling all the devices assigned to the control device using device map information describing the correspondence between the names of the devices constituting the system shown in FIG. Is generated for each control device, but it is more flexible to generate a control program that operates on one control device for each control device. Here, a process is a group of control programs for controlling one or more devices.

FIG. 15 is a diagram showing device map information according to the fifth embodiment, and shows 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. FIG. 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 programs of the devices A and B are defined as processes A. Generated
It describes that the control program of the device C is generated as the process B.

In the case of the present embodiment, both the process A and the process B are generated for the control device A. Needless to say, however, these processes may be generated for different control devices. No.

In the present embodiment, a control program is generated for each process using the device map information describing the correspondence between the device shown in FIG. 15, the process for controlling the device, and the device for actually controlling the device. Therefore, the control program can be handled in process units finer than the control device, and can be dealt with more flexibly.

Embodiment 6 FIG. In the fourth embodiment, the map information setting unit 32 shown in FIG.
6 is extracted (device map information 33, device map information 34) necessary for the generation of the device 6, and the information is referred to associating the device with the control device, and the input / output device between the model side and the control device side. Although the user performs the association, the device map information and the device map information may be automatically created so that the number of input / output contacts of the control device is set as a constraint and the maximum value of the number of input / output contacts is not exceeded. Good.

Also, device map information and device map information are automatically created in consideration of the positional relationship between the control device and the device, for example, by 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. You may make it.

Further, 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. .

Further, 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.

In the present embodiment, device map information and device map information are automatically created based on constraints, so that device map information and device map information suitable for the constraints can be created. In addition, to automatically create device map information and device map information,
User effort can be reduced.

[0071]

Since the present invention is configured as described above, it has the following effects.
The device model according to the present invention has a state indicator representing the state of the device, an external transition indicator representing that a state transition is made to the state indicator based on information from another first device model, and a state transition. Relationship between one or both of the internal transition indicators indicating that the information of the second transition is passed to another second device model, one or both of the external transition indicators and the internal transition indicators, and the status indicators , 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, a system model can be easily created by creating a device model for each device constituting the system and connecting them, thereby reducing the labor for creating the system model. be able to.

Since the external transition indicator indicates the 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. it can.

Since the internal transition indicator indicates the direction indicating the flow of information to another device model, a device model representing a control sequence of a device that affects the operation of another device can be described. .

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. In addition, it is possible to visually recognize the connection, to easily understand the relationship between devices in the system model, and to easily perform connection between events.

The system model according to the present invention uses one or both of the internal transition indicator and the external transition indicator of the first device model and the external transition indicator of the second device model having the external transition indicator. Because they are connected, the relationship between the devices can be easily understood.

In the system model generation method according to the present invention, a device model generation unit for generating a plurality of device models from a control sequence of a plurality of devices and a plurality of device models generated by the device model generation unit are connected to each other. Therefore, since a system model generating unit for generating a system model is provided, a system model can be easily generated even for a complicated system including a large number of devices.

The system model generation unit creates a system model including the cooperative relationship information between a plurality of device models. Therefore, even when the cooperative relationship between the devices is changed, the coordination is performed only by changing the cooperative relationship information. A system model in which the change in the relationship is reflected can be created, and the labor in changing the system can be reduced.

The system model generation unit associates the external transition indicator of the device model with one or both of the internal transition indicator of another device model and the external transition indicator of another device model, and Is created, it is possible to easily define a cooperative relationship between device models visually.

Since the device model generation unit generates a plurality of device models from a template representing information on the control sequences of a plurality of devices instead of the function of generating the plurality of device models from the control sequences of the plurality of devices, the device model generating unit has a Can be reduced.

In the program generation method according to the present invention,
A map information generation unit that generates device map information that represents a correspondence between devices from system configuration information that represents information about the system and a system model, and control from the device map information and the system model that are created in the map information generation unit Since the system includes the program generation unit for generating a program, it can flexibly cope with frequent system changes.

The map information generation unit generates device map information indicating the correspondence between the devices constituting the system and the control device that controls the devices. The program generation unit generates a control program including the device map information. Since it is created, it is possible to flexibly cope with a change in the arrangement of devices or a change in devices constituting the system.

The device map information includes information indicating the correspondence between a device and a process for controlling the device and the relationship between the process and a control device corresponding to the process. The control program can be divided into a plurality of pieces to create a control program, and when a problem occurs in the device, the control can be interrupted in process units.

The program generation unit creates a plurality of control programs corresponding to a plurality of control devices. Therefore, even in a large-scale system having a plurality of control devices, a control program suitable for a plurality of control devices is provided. Can be created respectively.

The system configuration information includes information representing the devices constituting the system, information representing the control device for controlling the devices constituting the system, and information representing the input / output devices of the control device. By utilizing this, device map information and device map information can be easily created.

The device map information includes information indicating the correspondence between the device model and one or both of the input device and the output device of the control device.
When the wiring between the device and the control device is changed, it is possible to easily cope with the change.

[0086] The program generating section generates a control program so that the control devices are synchronized when a plurality of control devices control the device. Therefore, the user can control each device by which control device. It is possible to create a control program without being conscious of whether or not it is.

The information created by the map information generation unit is created according to the constraints of the control device, so that appropriate device map information and device map information suitable for the constraints can be automatically created. .

[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 is a diagram showing a template according to the first embodiment of the present invention.

FIG. 3 is a diagram formally 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 the 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 which is a conventional system model.

[Explanation of symbols]

DESCRIPTION OF SYMBOLS 1 Device model template 2 Device model generation part 3 Device model 4 System modeling part 5 System model 6 Cooperative relation information 11 State information 12 Event information 13 State / event relation information 14 Stay time information 15 Device name information 16 Input device name information 17 Output device name information 21 Place 22 External event 23 Internal event 24 Arrow 25 Combined event 31 System configuration information 32 Map information setting unit 33 Device map information 34 Device map information 35 Program generation unit 36 Control program 41 System name information 42 Configuration control device information 43 Component information 51 Place 52 Transition 53 Arrow 1 54 Arrow 2 55 Token

Claims (17)

[Claims] 1. A status indicator indicating a status of a device, an external transition indicator indicating that a status transition is made to the status indicator by information from another first device model, and information for causing a status transition. And / or both of the internal transition indicators indicating that the stream is passed to another second device model,
A device model comprising: one or both of the external transition indicator and the internal transition indicator; and a corresponding indicator indicating a correspondence relationship with the status indicator. 2. The device model according to claim 1, wherein the external transition indicator indicates a direction indicating a flow of information from another device model. 3. The device model according to claim 1, wherein the internal transition indicator indicates a direction indicating a flow of information to another device model. 4. The external transition indicator has a shape corresponding to one or both of an internal transition indicator of another device model and an external transition indicator of another device model. The device model according to any one of claims 1 to 3. 5. The first device according to claim 1, wherein
And / or an external transition indicator of a second device model having the external transition indicator according to any one of claims 1 to 4. A system model characterized by being combined. 6. A device model generating unit for generating a plurality of device models according to claim 1 from a control sequence of a plurality of devices, and a plurality of device models generated by the device model generating unit. 6. A system model generation method, comprising: a system model generation unit that generates the system model according to claim 5 by combining the system models with each other. 7. The system model generation method according to claim 6, wherein the system model generation unit generates a system model including information on a cooperative relationship between a plurality of device models. 8. The system model generation unit associates one or both of an internal transition indicator of another device model and an external transition indicator of another device model with an external transition indicator of the device model. The system model generation method according to claim 6, wherein a system model is created. 9. The device model generation unit replaces the function of creating a plurality of device models according to claim 1 from a control sequence of a plurality of devices with information of a control sequence of the plurality of devices. The system model generation method according to any one of claims 6 to 8, wherein the system model is created from a template representing (i). 10. A map information generating section for generating device map information indicating a correspondence between devices from system configuration information indicating information about a system and the system model according to claim 5, and the map information generating section generates the device map information. A program generating unit for generating a control program from the obtained device map information and the system model. 11. A map information generation unit generates device map information indicating a correspondence between devices constituting the system and a control device that controls the devices, and the program generation unit includes:
The program generation method according to claim 10, wherein a control program is created including the device map information. 12. The apparatus map information includes information indicating a correspondence between a device and a process for controlling the device and a correspondence between the process and a control device corresponding to the process. The program generation method according to claim 11. 13. The program generation method according to claim 11, wherein the program generation unit generates a plurality of control programs corresponding to the plurality of control devices. 14. The system configuration information includes information representing devices constituting the system, information representing a control device for controlling the devices constituting the system, and information representing input / output devices of the control device. The program generation method according to any one of claims 10 to 13, wherein: 15. The device map information according to claim 1, wherein
15. The apparatus according to claim 1, further comprising information indicating a correspondence relationship between the device model described in any one of (1) and one or both of an input device and an output device of the control device. Program generation method described in section. 16. The apparatus according to claim 10, wherein, 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. The program generation method according to claim 1. 17. The program generating method according to claim 10, wherein the information generated by the map information generating unit is generated according to a constraint condition of a control device.