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. Nunca podem ficar sozinhos, sem o barqueiro, em qualquer lado do rio: 1) O lobo e a cabra; 2) A cabra e a couve. Implementar a Rede de Petri equivalente ao problema acima exposto.