Exercício Resolvido Engenharia de Software Rede de Petri

Um barqueiro precisa atravessar um rio levando um lobo, uma cabra e um maço de couve. Em cada travessia, somente podem ir no barco o barqueiro e uma das três cargas que devem ser transportadas.\n\nNunca podem ficar sozinhos, sem o barqueiro, em qualquer lado do rio:\n\n1) O lobo e a cabra;\n2) A cabra e a couve.\n\nImplementar a Rede de Petri equivalente ao problema acima exposto. Tira a cabra\n\nLÔBO CABRA COUVE\n\nColoca Lobo no bote\n\nBarqueiro com a cabra\n\nCruzando o rio\n\nBarqueiro sozinho \nCruzando o rio \n\nBarqueiro sozinho\nCruzando o rio\n\nChega na outra margem\n\nDeixa a cabra\n\nCruzando o rio\n\nDeixa o Lobo\n\nLÔBO CABRA COUVE