UN MÉTODO COMPUTACIONAL PARA LA DETECCIÓN Y CARACTERIZACIÓN DE CONFLICTOS EN REDES DE PETRI A Computational Method for Detection and Characterization of Conflicts on Petri Nets
En este artículo se presenta un método que permite detectar la presencia de conflictos en modelos construidos con base en el formalismo matemático de las Redes de Petri. Se muestra cómo mediante la aplicación de un algoritmo que toma como datos de entrada la representación matricial de una red, es p...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Universidad de Medellín
2011-12-01
|
| シリーズ: | Revista Ingenierías Universidad de Medellín |
| 主題: | |
| オンライン・アクセス: | http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242011000200018 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
