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 …

In this chapter, we investigated and proposed an approach that used the particle filter con
cept in a network intrusion detection system and simulated in the Coloured Petri Nets tools …

The aim of this paper is to propose an integrated modelling environment to represent
globally the networked control systems (NCS) behaviour by using the high level Petri nets …

Computers and the information they process are critical to many organizations' ability to
perform their mission and business functions. It therefore makes sense that executives view …

Computers and the information they process are critical to many organizations' ability to
perform their mission and business functions. It therefore makes sense that executives view …

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 …

In this paper, we present an industrial use of Coloured Petri Nets (CP-nets) in designing a
security system. An animation utility was developed which made it possible to perform user …

The Networked Control Systems (NCS) are complex systems which integrate information
provided by several domians such as automatic control, computer science, communication …

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 …

Networked control system (NCS) is a set of entities communicating and exchanging data via
a network, which makes its analysis and synthesis complex. Colored Petri nets (CPN) …