TY - JOUR A2 - Romance, Miguel AU - Latorre-Biel, Juan-Ignacio AU - Jiménez-Macías, Emilio AU - Pérez de la Parte，SP - 5341346 VL - 2018 AB -离散事件系统在工业和供应链等应用中可能会表现出非常复杂的行为。因此，它们的设计和运行可以通过应用优化技术进行决策，以获得最高的性能。在一般方法中，可以通过模拟Petri网模型来实现这些优化技术，这可能需要大量使用计算资源。基于仿真的优化计算成本的一个关键因素是系统模型的大小;因此，应用技术来减少它可能是有用的。本文分析了目前在离散事件系统设计中使用的两种Petri网形式之间的关系，在离散事件系统设计中，通常依赖于一组可供选择的结构配置。这些形式主义是一种特定类型的参数Petri网，称为复合Petri网，以及一组替代Petri网。在这些形式主义下，等价模型的发展和等价的形式证明是本文的主要内容。这种形式化方法的基础是可达标记图，这是一个强大的工具，能够表示离散事件系统的行为，从而显示两个不同Petri网模型之间的等价性。 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. SN - 1076-2787 UR - https://doi.org/10.1155/2018/5341346 DO - 10.1155/2018/5341346 JF - Complexity PB - Hindawi KW - ER -