Compound Petri nets and alternatives aggregation Petri nets: Two formalisms for decision-making support

Abstract

Decision-making in technological systems, such as communication networks, manufacturing facilities and supply chains, constitutes a common requirement able to lead companies galore to success or failure. This article presents a decision-making methodology, where the feasible structural configurations to be analysed are chosen heuristically in the frame of a single optimization problem. For stating the optimization problem and solving it efficiently, appropriate formalisms would be used. Compound Petri nets, a particular kind of parametric Petri nets, and alternatives aggregation Petri nets, are two Petri net–based formalisms able to integrate in the same model different alternative structural configurations. Moreover, even having different characteristics that might make them useful for different applications, both formalisms present common features, such as including a set of exclusive entities and the possibility of developing compact Petri net models, by the removal of redundant information. This article is also focused on the transformation algorithm between compound Petri nets and alternatives aggregation Petri nets. This algorithm is devoted to transform a model described by one of the formalisms into an equivalent model, that is, with the same behaviour, represented using the other formalism. Finally, several application examples are given for illustrating the steps of the transformation algorithm.