Command and control systems are a typical kind of cyber-physical systems (CPSs), usually
called command and control CPSs (C 3 PSs). C 3 PSs are in general thought of as the most …

Modern discrete-event systems (DESs) are often characterized by their dynamic structures
enabling highly flexible behaviors that can respond in real time to volatile environments. On …

Generalized stochastic Petri nets (GSPNs) have been extended to several dynamic-structure
formalisms providing suitable tools for the modeling and verification of reconfigurable …

In their basic form, Petri nets face several shortcomings in the design/analysis of
reconfigurable discrete-event systems. Hence, researchers have enriched Petri nets with …

Compared with federated avionic architecture, the integrated modular avionic (IMA) system
architecture in the aircraft can provide more sophisticated and powerful avionic functionality …

Nowadays, many discrete event systems (DESs) are becoming increasingly complex,
structurally dynamic and variably interconnected. These systems are designed to be able to …

Traditional Petri nets lack specific features to conveniently describe systems with an
evolving structure. A model based on the Symmetric Net formalism has been recently …

Nowadays, manufacturing companies integrate several advanced technologies such as
Internet of things, cyber-physical systems, smart factories, etc. to adapt themselves, as soon …