Browsing by Subject "Labeling"
Now showing items 1-2 of 2
-
Conference Object
Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions
(2007)This paper develops a recursive algorithm for estimating the least-cost transition firing sequences that match the observation of a sequence of labels produced by transition activity in a given labeled Petri net. The Petri ...
-
Article
A substitution theorem for graceful trees and its applications
(2009)A graceful labeling of a graph G = (V, E) assigns | V | distinct integers from the set {0, ..., | E |} to the vertices of G so that the absolute values of their differences on the | E | edges of G constitute the set {1, ...