Abstmct We study a class of specifications, called generalized mutual exclusion constraints, for discrete event systems modeled using Placellkansition nets. These specifications may be …
We study a class of specifications, called generalized mutual exclusion constraints, for discrete event systems modeled using Place/Transition nets. These specifications may be …