book chapter · Lecture notes in computer science

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

Salwa Habbachi
Zhiwu Li
Imene Ben Hafaiedh
Moez Krichen

2023University of Tunis El Manar

In plain language

No abstract is available for this record, so no summary has been generated.

Research topics

Petri Nets in System Modeling
Distributed systems and fault tolerance
Business Process Modeling and Analysis

Read the original research

This page summarises published work. The authoritative version sits with the publisher.

View on publisher site Record on OpenAlex

DOI: 10.1007/978-3-031-49737-7_4

Is something wrong with this record? Report it or request removal.

Discussion

Discuss this research

Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.

No discussion yet. Open the first thread.

New to MARATTO™? Create a free account.