Stan Kurkovsky, PhD
HomeResearchTemporal Reasoning › Industrial simulation

Industrial simulation

Temporal reasoning with possibilistic constraints can be applied to many problems in industrial simulation and modeling. For example, consider the following description of an automated manufacturing system. The system is composed of four machines (Machine 1, Machine 2, Machine 3, and Machine 4) and two robots (Robot 1 and Robot 2). The system can process two types of parts, namely A and B. Part A needs sequential processing on Machine 1 and then on Machine 2. Part B needs processing on Machine 3. Machine 4 takes two parts A and one part B and assembles them into the final product. Robot 1 and Robot 2 handle loading/unloading operations between Machine 1 and Machine 2.

The described system can be represented using a Petri net with possibilistic labels in tokens and possibilistic transition firing constraints.

Results of the simulation can often be used to analyze the behavior of the system with recurrent events.