Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

The evolution in software and hardware systems from classical systems with rigid structures
to open, dynamic, and flexible structures has inspired the extension of Petri nets to …

Cloud manufacturing (CMfg) platform consists of the cloud services, manufacturing
technology, and the Internet of Things, which provides solutions for large-scale personalized …

Reconfigurable manufacturing system (ie, RMS) is a recent class of manufacturing systems
which is featured by six basic characteristics (ie, modularity, integrability, customization …

Nowadays, a wide range of systems are becoming structurally dynamic, variably
interconnected, and highly complex. The use of classical formal approaches, such as Petri …

Multi-agent systems (MASs) represent a suitable model for open, dynamic and flexible
systems (as the case of Reconfigurable Wireless Sensor networks, Reconfigurable …

Stochastic Petri nets (SPN) and Arena simulation software can both be used to study the
qualitative and quantitative behavior of systems in a single environment. However, no …

New developed software/hardware systems are open, dynamic, and flexible (as the case of
reconfigurable wireless sensor networks, data centers, etc.). Often, the reliability is …

Cloud-based systems are open systems where resources are theoretically non-limited and
the number of connected users/devices varies all the time. These systems are close to …

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