QRコード

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...

詳細記述

保存先:
書誌詳細
第一著者: Pedro Luis Ángel Restrepo
フォーマット: 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
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!