Manel Khlif-Bouassida

From MaRDI portal

Person:1784049

Jump to:navigation, search

Available identifiers

zbMath Open khlif-bouassida.manelMaRDI QIDQ1784049

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability	2022-11-29	Paper
On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets	2018-09-26	Paper

Research outcomes over time

This page was built for person: Manel Khlif-Bouassida

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1784049&oldid=6044278"