Пример #1
0
ipnCartesiano =  InterpretedPetriNet()
ipnCartesiano.inMatrix = []
ipnCartesiano.outMatrix = []
for x in range(15):
	ipnCartesiano.inMatrix.append(ipnPlantaCompleta.inMatrix[x][:12]) 
	ipnCartesiano.outMatrix.append(ipnPlantaCompleta.outMatrix[x][:12]) 
ipnCartesiano.actions = ipnPlantaCompleta.actions
ipnCartesiano.firingConditions = ipnPlantaCompleta.firingConditions[:12]
ipnCartesiano.m0 = ipnPlantaCompleta.m0[:15]

converterCartesiano = Converter(ipnCartesiano)

ilGeneratorCartesiano = TwidoILGenerator(converterCartesiano.controlRoutine)
ilGeneratorCartesiano.genIL()
ilGeneratorCartesiano.outputIL("cartesiano.txt")

ipnMesa =  InterpretedPetriNet()
ipnMesa.inMatrix = []
ipnMesa.outMatrix = []
for x in range(24):
	ipnMesa.inMatrix.append(ipnPlantaCompleta.inMatrix[x][:19]) 
	ipnMesa.outMatrix.append(ipnPlantaCompleta.outMatrix[x][:19])
ipnMesa.actions = ipnPlantaCompleta.actions
ipnMesa.firingConditions = ipnPlantaCompleta.firingConditions[:19]
ipnMesa.m0 = ipnPlantaCompleta.m0[:24]

converterMesa = Converter(ipnMesa)

ilGeneratorMesa = TwidoILGenerator(converterMesa.controlRoutine)
ilGeneratorMesa.genIL()