Modeling and simulation of periodic systems by ISS Continuous Petri nets

Resumen

Infinite server semantics continuous Petri nets (ISSCPNs) is one of the most relevant timed interpretation of Continuous PNs (the relaxation into continuous models of Petri nets). Previous works comparing ISSSCPNs with Forrester diagrams and linear ordinary differential equation systems (LODES), taking into account the information delays and some methodological considerations, demonstrated that ISSCPNs permit to model any LODES when known upper and lower bounds of the state variables exists. Therefore systems with cyclic behavior or delays in the information can be modeled. These results permit analyze the modeling and simulation of cyclic systems with ISSSCPNs based on the comparison with the behavior of LODES. This type of analysis is very usual in system dynamics, in order to develop models (usually with FD) for unknown systems whose evolution have been observed. The possibility of model sinusoid functions, and the addition/substation of markings in redundant places, permits ISSCPNs model any cyclical system by Fourier decomposition, and the representation of different markings leads to very interesting graphics, which can correspond to real or approximate systems. This paper deepen into ISSCPNs expressive power, that is, the type of behaviour that they can present and the kind of systems that can be modelled with them.