Integrated prevention mechanism based on high level Petri nets

K Farah, K Chabir, MN Abdelkrim - 2023 20th International Multi …, 2023 - ieeexplore.ieee.org
Our work adresses the problem of network-controlled systems under communication
constraints. For a good comprension of this type of systems we must see the communication …

High level Petri nets‐based proposal of an integrated intrusion detection and prevention mechanism in network controlled systems

K Farah, K Chabir, MN Abdelkrim - IET Communications, 2023 - Wiley Online Library
The authors' work deals with modelling with coloured Petri nets (CPN) of network controlled
systems (NCS) and exposes a proposal of a sensor fault detection and prevention …

[PDF][PDF] Fault Diagnosis of P-Time Labeled Petri net Systems.

P Bonhomme - VECoS, 2015 - ceur-ws.org
The correct behavior of a real-world application is the ultimate requirement, particularly for
systems such as communication protocols, manufacturing and real-time systems. Indeed, a …

Network calculus based FDI approach for switched Ethernet architecture

B Brahimi, C Aubrun, E Rondeau - … and Safety of Technical Processes 2006, 2007 - Elsevier
The Networked Control Systems (NCS) are complex systems which integrate information
provided by several domians such as automatic control, computer science, communication …

Diagnosis of DES with Petri net models

D Lefebvre, C Delherm - IEEE Transactions on Automation …, 2007 - ieeexplore.ieee.org
The diagnosis of discrete event systems is strongly related to events estimation. This paper
focuses on faulty behaviors modeled with ordinary Petri nets with some" fault" transitions …

Fault detection in telecommunication networks based on a Petri net representation of alarm propagation

R Boubour, C Jard - International Conference on Application and Theory of …, 1997 - Springer
This paper presents a new use of safe Petri nets and its partial order semantics, in the field
of telecommunication network management. Petri nets are used to provide both a model and …

On-line fault detection in discrete event systems by Petri nets and integer linear programming

M Dotoli, MP Fanti, AM Mangini, W Ukovich - Automatica, 2009 - Elsevier
The paper addresses the fault detection problem for discrete event systems in a Petri Net
(PN) framework. Assuming that the structure of the PN model and the initial marking are …

[图书][B] Diagnosis of discrete event systems with Petri nets

D Lefebvre - 2008 - researchgate.net
Modern technological processes include complex and large scale systems, where faults in a
single component have major effects on the availability and performances of the system as a …

Fault detection by labeled Petri nets in centralized and distributed approaches

MP Fanti, AM Mangini… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
This paper addresses the problem of online fault detection and diagnosis in discrete event
systems modeled by labeled Petri nets and using Integer Linear Programming Problem …

[PDF][PDF] 22 Fault Diagnosis in Petri Nets

E Ruiz-Beltrán, A Ramirez-Treviño, JL Orozco-Mora - researchgate.net
The current requirements of modern production systems such as flexibility, performance and
reliability have increased the system complexity, the number of states and events and the …