Conflict Resolution and Fluidization in Cyber-Physical Systems

In order to fight against the state space explosion problem in highly populated discrete event systems, some relaxation techniques are commonly used. In these approximation (fluidization) techniques discrete state variables are modeled as real variables. Here in this paper, we focus on the fluidization of discrete Petri nets as hybrid Petri nets. In several situations in this systems, cconflicts may arise among transitions and in many cases choosing the appropriate conflict resolution scheme for each conflict situation is challenging. In order to address this issue, in this paper, for each conflict situation we give examples of interacting producer/consumer processes with different buffering configurations and explain the rationality behind each of these conflict resolution schemes. We try to give insight into how the appropriate conflict resolution scheme in fluidized model can be determined according to how the conflict is resolved in real system or discrete model.