Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints
Sign Up to like & getrecommendations! Published in 2024 at "International Journal of Control"
DOI: 10.1080/00207179.2024.2409304
Abstract: This paper focuses on enforcing disjunctive generalised mutual exclusion constraints, referred to as OR-GMEC, on Petri net models. In this case, the legal marking set is non-convex, while the admissible marking set can either be… read more here.
Keywords: mutual exclusion; monitor based; enforcing disjunctive; disjunctive generalised ... See more keywords