public void buildRobo()
{
//lugares
PetriRobo.insertPlace(new Place(0)); //Rover
PetriRobo.insertPlace(new Place(1)); //Vida
PetriRobo.insertPlace(new Place(2)); //Robô
PetriRobo.insertPlace(new Place(3)); //Quadrante pra atacar
PetriRobo.insertPlace(new Place(4)); //Atacou
PetriRobo.insertPlace(new Place(5)); //LIXEIRA ATAQUE
PetriRobo.insertPlace(new Place(6)); //Tomou Dano
PetriRobo.insertPlace(new Place(7)); //Andando
PetriRobo.insertPlace(new Place(8)); //Morreu
//transiçoes
for (int i = 0; i < 6; i++)
{
PetriRobo.insertTransition(new Transition(i)); //i eh o id da Transicao
}
//conexões
// transição(lugar, entrada, inibidor)
//numero da transição -1 comparado a imagem da rede
// transição lugar entrada?
PetriRobo.getTransition(0).insertConnection(new Connection(PetriRobo.getPlace(0), true, false));
PetriRobo.getTransition(0).insertConnection(new Connection(PetriRobo.getPlace(1), false, false));
PetriRobo.getTransition(1).insertConnection(new Connection(PetriRobo.getPlace(2), true, false));
PetriRobo.getTransition(1).insertConnection(new Connection(PetriRobo.getPlace(1), false, false));
PetriRobo.getTransition(2).insertConnection(new Connection(PetriRobo.getPlace(2), true, false));
PetriRobo.getTransition(2).insertConnection(new Connection(PetriRobo.getPlace(4), false, false));
PetriRobo.getTransition(3).insertConnection(new Connection(PetriRobo.getPlace(3), true, false));
PetriRobo.getTransition(3).insertConnection(new Connection(PetriRobo.getPlace(4), false, false));
PetriRobo.getTransition(5).insertConnection(new Connection(PetriRobo.getPlace(4), true, false));
PetriRobo.getTransition(5).insertConnection(new Connection(PetriRobo.getPlace(5), false, false));
PetriRobo.getTransition(4).insertConnection(new Connection(PetriRobo.getPlace(1), true, false));
PetriRobo.getTransition(4).insertConnection(new Connection(PetriRobo.getPlace(6), false, false));
PetriRobo.getTransition(6).insertConnection(new Connection(PetriRobo.getPlace(6), true, false));
PetriRobo.getTransition(6).insertConnection(new Connection(PetriRobo.getPlace(7), true, false));
PetriRobo.getTransition(6).insertConnection(new Connection(PetriRobo.getPlace(8), false, false));
}
public void buildRover()
{
PetriRover.insertPlace(new Place(0)); //Rover
PetriRover.insertPlace(new Place(1)); //atacar
PetriRover.insertPlace(new Place(2)); //andar
PetriRover.insertPlace(new Place(3)); //Deslocar
PetriRover.insertPlace(new Place(4)); //vida
PetriRover.insertPlace(new Place(5)); //Combustivel
PetriRover.insertPlace(new Place(6)); //Munição
PetriRover.insertPlace(new Place(7)); //No alcance para atacar
PetriRover.insertPlace(new Place(8)); //Deslocando
PetriRover.insertPlace(new Place(9)); //Tomou um tiro
PetriRover.insertPlace(new Place(10)); //Bateu
PetriRover.insertPlace(new Place(11)); //Nao Bateu
PetriRover.insertPlace(new Place(12)); //Parede
PetriRover.insertPlace(new Place(13)); //Não bateu
PetriRover.insertPlace(new Place(14)); //LUGAR VAZIO 1
PetriRover.insertPlace(new Place(15)); //LUGAR VAZIO 2
PetriRover.insertPlace(new Place(16)); // UTILIZAR ESCUDO
PetriRover.insertPlace(new Place(17)); //LUGAR VAZIO 3
PetriRover.insertPlace(new Place(18)); //Escudo sendo utilizado
PetriRover.insertPlace(new Place(19)); //Indicação de escudo na interface
PetriRover.insertPlace(new Place(20)); //Acabou escudo
PetriRover.insertPlace(new Place(21)); //Abastecer
PetriRover.insertPlace(new Place(22)); //No quadrante do combustivel
PetriRover.insertPlace(new Place(23)); //RESET COMBUSTIVEL
PetriRover.insertPlace(new Place(24)); //RECARREGAR
PetriRover.insertPlace(new Place(25)); //No quadrante da munição
PetriRover.insertPlace(new Place(26)); //RESET MUNIÇÃO
PetriRover.insertPlace(new Place(27)); //ATIROU
PetriRover.insertPlace(new Place(28)); //resgatar
PetriRover.insertPlace(new Place(29)); //No quadrante da munição
PetriRover.insertPlace(new Place(30)); //Resgatou
PetriRover.insertPlace(new Place(31)); //SOLDADOS RESGATADOS
PetriRover.insertPlace(new Place(32)); //DERROTA/MORTO
PetriRover.insertPlace(new Place(33)); //No quadrante do portal
PetriRover.insertPlace(new Place(34)); //PROXIMA FAZE
PetriRover.insertPlace(new Place(35)); //TOMOU TIRO SEM ESCUDO
PetriRover.insertPlace(new Place(36)); //RESET VIDA
PetriRover.insertPlace(new Place(37)); //DEFENDER
for (int i = 0; i < 99; i++)
{
PetriRover.getPlace(5).addToken(new Token(i));
}
for (int i = 0; i < 50; i++)
{
PetriRover.getPlace(4).addToken(new Token(i));
}
for (int i = 0; i < 30; i++)
{
PetriRover.getPlace(6).addToken(new Token(i));
}
for (int i = 0; i < 21; i++)
{
PetriRover.insertTransition(new Transition(i)); //i eh o id da Transicao
}
//PetriRover.insertTransition(new Transition(0));
//conexões
// transição(lugar, entrada, inibidor)
//numero da transição -1 comparado a imagem da rede
PetriRover.getTransition(0).insertConnection(new Connection(PetriRover.getPlace(0), true, false));
PetriRover.getTransition(0).insertConnection(new Connection(PetriRover.getPlace(3), true, false));
PetriRover.getTransition(0).insertConnection(new Connection(PetriRover.getPlace(5), true, false));
PetriRover.getTransition(0).insertConnection(new Connection(PetriRover.getPlace(8), false, false));
PetriRover.getTransition(1).insertConnection(new Connection(PetriRover.getPlace(8), true, false));
PetriRover.getTransition(1).insertConnection(new Connection(PetriRover.getPlace(13), false, true));
PetriRover.getTransition(2).insertConnection(new Connection(PetriRover.getPlace(8), true, false));
PetriRover.getTransition(2).insertConnection(new Connection(PetriRover.getPlace(12), true, false));
PetriRover.getTransition(2).insertConnection(new Connection(PetriRover.getPlace(10), false, false));
PetriRover.getTransition(3).insertConnection(new Connection(PetriRover.getPlace(10), true, false));
PetriRover.getTransition(3).insertConnection(new Connection(PetriRover.getPlace(14), false, false));
PetriRover.getTransition(3).insertConnection(new Connection(PetriRover.getPlace(5), true, false));
PetriRover.getTransition(4).insertConnection(new Connection(PetriRover.getPlace(0), true, false));
PetriRover.getTransition(4).insertConnection(new Connection(PetriRover.getPlace(1), true, false));
PetriRover.getTransition(4).insertConnection(new Connection(PetriRover.getPlace(7), false, false));
PetriRover.getTransition(5).insertConnection(new Connection(PetriRover.getPlace(7), true, false));
PetriRover.getTransition(5).insertConnection(new Connection(PetriRover.getPlace(1), false, false));
PetriRover.getTransition(6).insertConnection(new Connection(PetriRover.getPlace(1), true, false));
PetriRover.getTransition(6).insertConnection(new Connection(PetriRover.getPlace(15), false, true));
PetriRover.getTransition(7).insertConnection(new Connection(PetriRover.getPlace(37), true, false));
PetriRover.getTransition(7).insertConnection(new Connection(PetriRover.getPlace(16), false, false));
PetriRover.getTransition(7).insertConnection(new Connection(PetriRover.getPlace(5), true, false));
PetriRover.getTransition(8).insertConnection(new Connection(PetriRover.getPlace(16), true, false));
PetriRover.getTransition(8).insertConnection(new Connection(PetriRover.getPlace(17), true, false));
PetriRover.getTransition(8).insertConnection(new Connection(PetriRover.getPlace(20), true, false));
PetriRover.getTransition(9).insertConnection(new Connection(PetriRover.getPlace(16), true, false));
PetriRover.getTransition(9).insertConnection(new Connection(PetriRover.getPlace(18), false, false));
PetriRover.getTransition(10).insertConnection(new Connection(PetriRover.getPlace(18), true, false));
PetriRover.getTransition(10).insertConnection(new Connection(PetriRover.getPlace(9), false, false));
PetriRover.getTransition(10).insertConnection(new Connection(PetriRover.getPlace(19), false, false));
PetriRover.getTransition(11).insertConnection(new Connection(PetriRover.getPlace(19), true, false));
PetriRover.getTransition(11).insertConnection(new Connection(PetriRover.getPlace(20), false, false));
PetriRover.getTransition(12).insertConnection(new Connection(PetriRover.getPlace(0), true, false));
PetriRover.getTransition(12).insertConnection(new Connection(PetriRover.getPlace(21), true, false));
PetriRover.getTransition(12).insertConnection(new Connection(PetriRover.getPlace(22), true, false));
PetriRover.getTransition(12).insertConnection(new Connection(PetriRover.getPlace(5), true, false));
PetriRover.getTransition(12).insertConnection(new Connection(PetriRover.getPlace(23), false, false));
PetriRover.getTransition(13).insertConnection(new Connection(PetriRover.getPlace(23), true, false));
PetriRover.getTransition(13).insertConnection(new Connection(PetriRover.getPlace(5), false, false));
PetriRover.getTransition(14).insertConnection(new Connection(PetriRover.getPlace(0), true, false));
PetriRover.getTransition(14).insertConnection(new Connection(PetriRover.getPlace(24), true, false));
PetriRover.getTransition(14).insertConnection(new Connection(PetriRover.getPlace(25), true, false));
PetriRover.getTransition(14).insertConnection(new Connection(PetriRover.getPlace(6), true, false));
PetriRover.getTransition(14).insertConnection(new Connection(PetriRover.getPlace(26), false, false));
PetriRover.getTransition(15).insertConnection(new Connection(PetriRover.getPlace(26), true, false));
PetriRover.getTransition(15).insertConnection(new Connection(PetriRover.getPlace(6), false, false));
PetriRover.getTransition(16).insertConnection(new Connection(PetriRover.getPlace(6), true, false));
PetriRover.getTransition(16).insertConnection(new Connection(PetriRover.getPlace(27), false, false));
PetriRover.getTransition(17).insertConnection(new Connection(PetriRover.getPlace(0), true, false));
PetriRover.getTransition(17).insertConnection(new Connection(PetriRover.getPlace(5), true, false));
PetriRover.getTransition(17).insertConnection(new Connection(PetriRover.getPlace(28), true, false));
PetriRover.getTransition(17).insertConnection(new Connection(PetriRover.getPlace(29), true, false));
PetriRover.getTransition(17).insertConnection(new Connection(PetriRover.getPlace(30), false, false));
PetriRover.getTransition(18).insertConnection(new Connection(PetriRover.getPlace(30), true, false));
PetriRover.getTransition(18).insertConnection(new Connection(PetriRover.getPlace(31), false, false));
PetriRover.getTransition(19).insertConnection(new Connection(PetriRover.getPlace(31), true, true));
PetriRover.getTransition(19).insertConnection(new Connection(PetriRover.getPlace(32), false, false));
PetriRover.getTransition(20).insertConnection(new Connection(PetriRover.getPlace(31), true, false));
PetriRover.getTransition(20).insertConnection(new Connection(PetriRover.getPlace(32), true, false));
PetriRover.getTransition(20).insertConnection(new Connection(PetriRover.getPlace(33), true, false));
PetriRover.getTransition(21).insertConnection(new Connection(PetriRover.getPlace(4), true, true));
PetriRover.getTransition(22).insertConnection(new Connection(PetriRover.getPlace(4), true, false));
PetriRover.getTransition(22).insertConnection(new Connection(PetriRover.getPlace(35), true, false));
PetriRover.getTransition(22).insertConnection(new Connection(PetriRover.getPlace(36), false, false));
}
