2-Modelagem Básica

      Logo após o fim da Segunda Guerra Mundial, a Guerra Fria se iniciou. Neste período, ocorreram muitos testes nucleares feitos pelas principais nações envolvidas na Guerra Fria. Suponha que em uma base militar americana militares estejam realizando testes nucleares e que, em seu sistema de lançamento de míssil, seja necessária a ativação de duas chaves diferentes. O sistema funciona da seguinte forma: duas chaves distintas são acionadas por dois oficiais e, após a ativação dessas chaves, o sistema permite a preparação do míssil para o lançamento. Estando o míssil preparado, ele poderá ser lançado para a realização do teste.

      Abaixo é mostrado o modelo que representa o sistema de teste de míssil. No Estado 1, o sistema está em espera, aguardando que algum oficial acione uma das chaves. No Estado 2, a transição AcionarChave1 é disparada, significando que um oficial acionou a primeira chave. Assim, um token é gerado no lugar ChaveAcionada1. No Estado 3, ocorre o acionamento da segunda chave. Isto é, a transição AcionarChave2 é disparada e um token é gerado no lugar ChaveAcionada2. No Estado 4, ocorre o disparo da transição PrepararMíssil, liberando um token para o lugar MíssilPreparado. Vale ser ressaltado que a pré-condição da transição PrepararMíssil é que os lugares ChaveAcionada1 e ChaveAcionada2 tenham pelo menos um token cada. Quando ocorre o disparo da transição LançarMíssil, a rede volta para o Estado 1.

      Junção: O padrão junção representa a sincronização entre atividades concorrentes.