SciELO - Scientific Electronic Library Online

 
vol.10 número19NUMERICAL SOLUTION OF AN EIGENVALUE PROBLEM FOR BOUNDED PLASMAEvaluation of a Digital Signal Processor (DSP) Implementation of Hybrid Particle Swarm Optimization (PSO) Algorithm and the Simplex índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Artigo

Indicadores

Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Não possue artigos similaresSimilares em SciELO
  • Em processo de indexaçãoSimilares em Google

Compartilhar


Revista Ingenierías Universidad de Medellín

versão impressa ISSN 1692-3324

Resumo

ANGEL RESTREPO, Pedro Luis. A Computational Method for Detection and Characterization of Conflicts on Petri Nets. Rev. ing. univ. Medellín [online]. 2011, vol.10, n.19, pp.189-199. ISSN 1692-3324.

This article describes a method which allows detecting the presence of conflicts in models constructed based on the mathematical formalism of Petri Nets. The article shows how it is possible to detect the existence of conflicts and characterize their type through the application of an algorithm which takes the matricial representation as entry data, identifying also the number of elements which represent them. The use of the method proposed is shown using an ordinary Petri Net.

Palavras-chave : redes de Petri; detección de conflictos; algoritmos; Petri nets; conflict detection; algorithms.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )

 

Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons