LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "mutual exclusion" as a keyword



Identification of gene signatures and molecular mechanisms underlying the mutual exclusion between psoriasis and leprosy

Sign Up to like & get
recommendations! Published in 2024 at "Scientific Reports"

DOI: 10.1038/s41598-024-52783-0

Abstract: Leprosy and psoriasis rarely coexist, the specific molecular mechanisms underlying their mutual exclusion have not been extensively investigated. This study aimed to reveal the underlying mechanism responsible for the mutual exclusion between psoriasis and leprosy.… read more here.

Keywords: mutually exclusive; psoriasis; critical mutually; mutual exclusion ... See more keywords

Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints

Sign Up to like & get
recommendations! 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

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Access"

DOI: 10.1109/access.2022.3216043

Abstract: A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs. For real-world systems such… read more here.

Keywords: generalized mutual; timed petri; control; mutual exclusion ... See more keywords

Formal Modeling and Verification of Lycklama and Hadzilacos’s Mutual Exclusion Algorithm

Sign Up to like & get
recommendations! Published in 2024 at "Mathematics"

DOI: 10.3390/math12162443

Abstract: This study describes our thorough experience of formal modeling and exhaustive verification of concurrent systems, particularly mutual exclusion algorithms. The experience focuses on Lycklama and Hadzilacos’s (LH) mutual exclusion algorithm. LH rests on the reduced… read more here.

Keywords: lycklama hadzilacos; exclusion algorithm; mutual exclusion; exclusion ... See more keywords