Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Right-closed set"”.
-
On the convexity of right-closed sets and its application to liveness enforcement in Petri Nets
A set of n-dimensional integral vectors, Nn, is said to be right-closed if for any x 2 , any vector y x also belongs to it. An integral-set Nn is convex if and only if there is a convex set C Rn such that = Int(C), where Int( ) denotes the integral points in the set argument. In this dissertation, …
-
Algorithms for computing liveness enforcing supervisors for discrete event-driven systems modeled by petri nets
… an LESP can be effectively represented by a set of initial markings for which an LESP exists. We restrict our attention to certain classes of PN structures for which the aforementioned set is known to be right-closed. A set of non-negative integral vectors is said to be right-closed if the …
-
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets
… LESP is directly related to the presence of a right-closed set of states that are control invariant with respect to the system. A minimally restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. This study describes an object-oriented …