Search Results

Since the energy domain is in a transformative shift towards sustainability, the integration of new technologies and smart systems into traditional power grids has emerged. As an effective approach, Petri Nets (PN) have been applied to model and analyze ...

Stream processing is becoming increasingly important as the amount of data being produced, transmitted, processed, and stored continues to grow. One of the greatest difficulties in designing stream processing applications is estimating the final ...

Adaptable distributed systems gain growing attention to raising service quality at low costs. Managing adaptation calls for suitable models through the entire life cycle. A challenging point is system structural reconfiguration, which has led to ...

The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results. This ...

This manuscript proposes a fine‐coarse grained automatic modelling method for the Java source program by Coloured Petri Nets. The method uses a coarse‐grained modelling method for property‐unchecked, non‐interactive, and unrelated statements while a fine‐...

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 mechanism. In NCS, the network must be viewed as part of the system and not ...

This article illustrates the graphical modelling of a network controlled system and the detection and prevention of sensor faults mechanism with colored Petri nets. The simulation results showed that a sensor fault can infect the normal behaviour of the ...

Population protocols are a model of computation in which an arbitrary number of anonymous finite-memory agents are interacting in order to decide by stable consensus a predicate. In this paper, we focus on the counting predicates that asks, given an ...

The Petri net modeling formalism allows for the convenient graphical visualization of system models, as well as the modeling and performance analysis of complex stochastic systems. PIPE is an open source, platform independent tool for creating and ...

Chemical reaction networks (CRNs) are an emerging distributed computational paradigm where programs are encoded as a set of abstract chemical reactions. CRNs can be compiled into DNA strands which perform the computations in vitro, creating a foundation ...

Collaborative robotic cells combine human skills with the latest advancements in robotic accuracy and reliability. Cobotic cell parts are distributed and adapt their behavior to changing tasks and environments. The specific missions of cobotic cells, ...

Petri nets with Players, Strategies, and Costs (PNPSC) is an extension of Petri nets that can model cyberattacks and defenses. Previous work has created PNPSC nets for cyberattack patterns based on the MITRE Common Attack Pattern Enumeration and ...

In this ISSAC 2021 Tutorial, we will give an introduction to the Singular/GPI-Space framework for massively parallel computations in computer algebra. Being based on the idea of separation of computation and coordination, this framework relies on the ...

Modern information systems connecting software, physical systems and people, are usually characterized by high dynamism. These dynamics introduce uncertainties, which in turn may harm the quality of systems and lead to incomplete, inaccurate, and ...

In today's world every system developer and administrator should be familiar with cyberattacks and possible threats to their organizations systems. Petri Nets have been used to model and simulate cyberattacks allowing for additional knowledge on the ...

High-level synthesis (HLS) tools automatically transform a high-level program, for example in C/C++, into a low-level hardware description. A key challenge in HLS tools is scheduling, i.e. determining the start time of all the operations in the untimed ...

Regarding the ever-increasing development of data and computational centers due to the contribution of high-performance computing systems in such sectors, energy consumption has always been of great importance due to CO₂ emissions that can result in ...

The aim of this paper is to prevent the risks in several industrial domains. A systematic monitoring approach is proposed that ensures security and safety by performing a set of the surveillance tasks with mobile agent and sensors. For this purpose, we ...

Moving target defense (MTD) has been developed as an emerging technology to enhance system/network security by randomly and continuously changing attack surface. Despite the significant progress of recent efforts in analyzing the security effectiveness ...

When people interact through technical infrastructure such as that of organisations or the World Wide Web, this infrastructure will change and in some cases new identifiable structures or even eco-systems may emerge. Examples of such emergent socio-...

End users can program trigger-action rules to personalize the joint behavior of their smart devices and online services. Trigger-action programming is, however, a complex task for non-programmers and errors made during the composition of rules may lead ...

Business process modelling is an essential activity for competitive enterprises, as it enables documenting, analysing, improving and automating their core processes. Several notations have been proposed, including BPMN, service blueprints or Process ...