Formal methodology for designing control laws to meet generalised marking constraints for partially controllable timed event graphs

Authors

Saïd Amari (ORCID: https://orcid.org/0000-0002-9592-3953)
Syrine Bouazza (ORCID: https://orcid.org/0000-0001-5040-3690)

Institutions

Université Le Havre Normandie (FR)
Université Paris-Saclay (FR)
Université Sorbonne Paris Nord (FR)
Laboratoire d'Informatique de Paris-Nord (FR)
Groupe de Recherche en Electrotechnique et Automatique du Havre (FR)

Publication Details

Journal: Journal of Control and Decision
Published: 2025-10-27
DOI: https://doi.org/10.1080/23307706.2025.2558076
Primary Topic: Petri Nets in System Modeling
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Formal methodology for designing control laws to meet generalised marking constraints for partially controllable timed event graphs

Saïd Amari, Syrine Bouazza

Oct 27, 2025

Journal of Control and Decision

Petri Nets in System Modeling

article

Formal methodology for designing control laws to meet generalised marking constraints for partially controllable timed event graphs

Saïd Amari, Syrine Bouazza

October 27, 2025article en

Abstract

No abstract available for this paper.

Journal of Control and Decision

Université Le Havre Normandie (FR), Université Paris-Saclay (FR), Université Sorbonne Paris Nord (FR), Laboratoire d'Informatique de Paris-Nord (FR), Groupe de Recherche en Electrotechnique et Automatique du Havre (FR)

Openalex Percentile: Top 67%

Petri Nets in System Modeling

DOI Source OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.