Timed output synchronized Petri nets and synchronized state class graph

DOI10.1007/S10626-026-00448-7MaRDI QIDQ7315610zbMATH OpenFDO

Authors Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri Lefebvre

Publication date 18 August 2026

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10626-026-00448-7

Mathematics Subject Classification ID

Networked control (93B70) Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)

Cites work

• A state class based controller synthesis approach for time Petri nets
• Complexity estimates for Fourier-Motzkin elimination
• Design and verification of pipelined circuits with timed Petri nets
• Detection and Localization of Stealthy Cyberattacks in Cyber-Physical Discrete Event Systems
• scientific article; zbMATH DE number 3602688 (Why is no real title available?)
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• scientific article; zbMATH DE number 7646025 (Why is no real title available?)
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
• State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

This page was built for publication: Timed output synchronized Petri nets and synchronized state class graph

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7315610)