Method for generating a Petri Net simulation model of an industrial control system

Patent metadata

Field	Value
Publication number	US-10776536-B2
Application number	US-201715499059-A
Country	US
Kind code	B2
Filing date	Apr 27, 2017
Priority date	Apr 28, 2016
Publication date	Sep 15, 2020
Grant date	Sep 15, 2020

Abstract

A computer implemented method generates a Petri Net simulation model of an industrial controls system. The method includes providing a basic Petri Net system model employing a generic component model. The system model has at least two component places for generating parameterisation tokens, at least two family places for generating component instantiation tokens, and an architecture place for generating family instantiation tokens for the family place in response to an initial token. The method further includes providing a component family library including component family data, providing a component parameter list including component parameter data for each individual component of the Industrial Control System. Furthermore, the method includes assigning a unique identifier to each component of the component parameter list, assigning each component present in the component parameter list to one component family, and instantiating the basic Petri Net model by processing the component parameter list.

First claim

The invention claimed is:

1. A computer-implemented method for generating a Petri Net simulation model of a particular industrial control system, comprising:
providing a Petri Net system model including a component model, at least two component places for generating parameterization tokens for the component model in response to component instantiation tokens, at least two family places for generating component instantiation tokens for the at least two component places in response to family instantiation tokens, and an architecture place for generating family instantiation tokens for the at least two family places in response to an initial token;
providing a component family library comprising component family data for at least a network family, and for one or more of a supervisory control and data acquisition (SCADA) family, a Programmable Logic Controller (PLC) family, and an I/O devices family;
providing a component parameter list comprising component parameter data for each individual component of the particular industrial control system;
assigning a unique identifier to each component of the component parameter list;
assigning each component present in the component parameter list to one component family of the component family library;
instantiating the Petri Net model by processing, using processing circuitry, the component parameter list so as to stimulate the particular industrial control system and generate a performance assessment of the particular industrial control system; and
outputting the generated assessment of the particular industrial control system.

2. The method according to claim 1 , further comprising providing a color set declared for the component place, the color set including an identification number, a component specification, and a family association.

3. The method according to claim 1 , further comprising providing a color set declared for a communication token of the component model, the color set including a source identifier, a destination identifier, a sequence number a data size, and a time stamp.

4. The method according to claim 1 , wherein the component model comprises: a first component place, a functional block, an input place, an output place, a received message place and a send message place, an input buffer connected between the received message place and the input place, and an output buffer connected between the send message place and the output place.

5. The method according to claim 1 , wherein the step of instantiating the Petri Net model by processing the component parameter list comprises generating an initial token in the architecture place.

6. The method according to claim 1 , wherein the step of instantiating the Petri Net model by processing the component parameter list comprises, for each family present in the component parameter list, generating an instantiation token in each family place.

7. The method according to claim 1 , wherein the step of instantiating the Petri Net model by processing the component parameter list further comprises, for each component in the component parameter list, generating a parameterization token in the component place of each instantiated family; and
assigning the respective component parameter data as a color of the parameterization token for the component.

8. The method according to claim 1 , wherein the component parameter list is provided as an ML function.

9. The method according to claim 8 , wherein the ML function is generated from an XML description of the particular industrial control system.

10. The method according to claim 1 , wherein the component family data comprises, for each component family, a functional behavior description, and a set of default parameter values.

11. A non-transitory computer-readable medium storing a program that, when executed by the processing circuitry, causes the processing circuitry to perform the method according to claim 1 .

12. An apparatus for generating a Petri Net simulation model of a particular industrial control system, the apparatus comprising:
processing circuitry configured to
provide a Petri Net system model including a component model, at least two component places for generating parameterization tokens for the component model in response to component instantiation tokens, at least two family places for generating component instantiation tokens for the at least two component places in response to family instantiation tokens, and an architecture place for generating family instantiation tokens for the at least two family places in response to an initial token;
provide a component family library comprising component family data for at least a network family, and for one or more of a supervisory control and data acquisition (SCADA) family, a Programmable Logic Controller (PLC) family, and an I/O devices family;
provide a component parameter list comprising component parameter data for each individual component of the particular industrial control system;
assign a unique identifier to each component of the component parameter list;
assign each component present in the component parameter list to one component family of the component family library;
instantiate the Petri Net model by processing, using processing circuitry, the component parameter list so as to stimulate the particular industrial control system and generate a performance assessment of the particular industrial control system; and
output the generated assessment of the particular industrial control system.

Assignees

• Schneider Electric Ind Sas

Inventors

• Ndiaye Moulaye
• Camerini Jacques
• Petin Jean-Francois
• Georges Jean-Philippe

Classifications

• G06F30/22 Primary

  using Petri net models · CPC title

• G06F30/20 Primary

  Design optimisation, verification or simulation (optimisation, verification or simulation of circuit designs G06F30/30) · CPC title

• G06F2111/10

  Numerical modelling · CPC title