Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations
Discrete event systems in applications, such as industry and supply chain, may show a very complex behavior. For this reason, their design and operation may be carried out by the application of optimization techniques for decision making in order to obtain their highest performance. In a general app...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2018-01-01
|
| Series: | Complexity |
| Online Access: | http://dx.doi.org/10.1155/2018/5341346 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849692368863756288 |
|---|---|
| author | Juan-Ignacio Latorre-Biel Emilio Jiménez-Macías Mercedes Pérez de la Parte |
| author_facet | Juan-Ignacio Latorre-Biel Emilio Jiménez-Macías Mercedes Pérez de la Parte |
| author_sort | Juan-Ignacio Latorre-Biel |
| collection | DOAJ |
| description | Discrete event systems in applications, such as industry and supply chain, may show a very complex behavior. For this reason, their design and operation may be carried out by the application of optimization techniques for decision making in order to obtain their highest performance. In a general approach, it is possible to implement these optimization techniques by means of the simulation of a Petri net model, which may require an intensive use of computational resources. One key factor in the computational cost of simulation-based optimization is the size of the model of the system; hence, it may be useful to apply techniques to reduce it. This paper analyzes the relationship between two Petri net formalisms, currently used in the design of discrete event systems, where it is usual to count on a set of alternative structural configurations. These formalisms are a particular type of parametric Petri nets, called compound Petri nets, and a set of alternative Petri nets. The development of equivalent models under these formalisms and the formal proof of this equivalence are the main topics of the paper. The basis for this formal approach is the graph of reachable markings, a powerful tool able to represent the behavior of a discrete event system and, hence, to show the equivalence between two different Petri net models. One immediate application of this equivalence is the substitution of a large model of a system by a more compact one, whose simulation may be less demanding in the use of computational resources. |
| format | Article |
| id | doaj-art-ee7c97178ee74e82846bbbffc2d6492b |
| institution | DOAJ |
| issn | 1076-2787 1099-0526 |
| language | English |
| publishDate | 2018-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Complexity |
| spelling | doaj-art-ee7c97178ee74e82846bbbffc2d6492b2025-08-20T03:20:43ZengWileyComplexity1076-27871099-05262018-01-01201810.1155/2018/53413465341346Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural ConfigurationsJuan-Ignacio Latorre-Biel0Emilio Jiménez-Macías1Mercedes Pérez de la Parte2Institute of Smart Cities, Public University of Navarre, 31006 Pamplona, SpainDepartment of Electrical Engineering, University of La Rioja, 26006 Logroño, SpainDepartment of Mechanical Engineering, University of La Rioja, 26006 Logroño, SpainDiscrete event systems in applications, such as industry and supply chain, may show a very complex behavior. For this reason, their design and operation may be carried out by the application of optimization techniques for decision making in order to obtain their highest performance. In a general approach, it is possible to implement these optimization techniques by means of the simulation of a Petri net model, which may require an intensive use of computational resources. One key factor in the computational cost of simulation-based optimization is the size of the model of the system; hence, it may be useful to apply techniques to reduce it. This paper analyzes the relationship between two Petri net formalisms, currently used in the design of discrete event systems, where it is usual to count on a set of alternative structural configurations. These formalisms are a particular type of parametric Petri nets, called compound Petri nets, and a set of alternative Petri nets. The development of equivalent models under these formalisms and the formal proof of this equivalence are the main topics of the paper. The basis for this formal approach is the graph of reachable markings, a powerful tool able to represent the behavior of a discrete event system and, hence, to show the equivalence between two different Petri net models. One immediate application of this equivalence is the substitution of a large model of a system by a more compact one, whose simulation may be less demanding in the use of computational resources.http://dx.doi.org/10.1155/2018/5341346 |
| spellingShingle | Juan-Ignacio Latorre-Biel Emilio Jiménez-Macías Mercedes Pérez de la Parte Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations Complexity |
| title | Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations |
| title_full | Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations |
| title_fullStr | Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations |
| title_full_unstemmed | Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations |
| title_short | Equivalent and Efficient Optimization Models for an Industrial Discrete Event System with Alternative Structural Configurations |
| title_sort | equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations |
| url | http://dx.doi.org/10.1155/2018/5341346 |
| work_keys_str_mv | AT juanignaciolatorrebiel equivalentandefficientoptimizationmodelsforanindustrialdiscreteeventsystemwithalternativestructuralconfigurations AT emiliojimenezmacias equivalentandefficientoptimizationmodelsforanindustrialdiscreteeventsystemwithalternativestructuralconfigurations AT mercedesperezdelaparte equivalentandefficientoptimizationmodelsforanindustrialdiscreteeventsystemwithalternativestructuralconfigurations |