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 1 of 1 for “"Controlled Petri nets"”.
-
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets
… Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence …