Authors: Julián Gómez-Munilla, Emilio Jiménez-Macías, Juan Ignacio Latorre-Biel, Mercedes Pérez de la Parte, Jorge Luis García-Alcaraz
This paper is devoted to study ways to determine the possible states of a production system, modeled by Petri nets (PN), making use of techniques for solving systems of linear Diophantine equations. For this porpoise, PNs have been divided into three possible types, and each provides a specific method so as to exploit its characteristics to optimize the computation time. These types are conservative systems, nonconservative systems with conservative components, and nonconservative systems without conservative components. These proposal methods have been compared with the determination of states from marking evolution, being clearly advantageous in computation time.