SNexpression: A New Component for SN Matrix-Based Structural Analysis

Symmetric nets (SN), including their stochastic extension (SSN), are a type of high-level Petri net (HLPN) known for their structured syntax, which aids in efficient analysis. Their dynamics is described by a quotient state-transition system (SRG) linked to a lumped Markov chain. State-space analysis and stochastic model checking are supported by tools like GreatSPN [4, 7] and COSMOS [3, 9], then a toolset has become available for structural analysis of SN: SNexpression [2, 10]. This framewor...

Predictive and Diagnostic Inference for Power Systems Cybersecurity: Analysis of the Industroyer Cyber-Kill Chain

This paper proposes an extension of an existing security assessment methodology for Cyber-Physical Power Systems, by applying it to model the Indystroyer cyber-kill chain. Our approach represents both the attack progression (sequence of successful MITRE ATT&CK techniques) and physical power system conditions expressed through metrics such as bus voltages and line loads. To achieve this, we leverage a Dynamic Bayesian Network (DBN) constructed in two parts: the one modeling the cyber-attack pr...

Stochastic Modeling and Dosage Optimization of a Cancer Vaccine Exploiting the EpiMod Framework

Ordinary Differential Equations (ODEs) and Agent-Based Models (ABMs) represent nowadays the two main approaches for Immune System (IS) modeling. While the former approach does not allow for representing aleatory variations, the latter lacks a clear well-defined semantics, entailing possible biases on simulation results. We present here the application of our modeling pipeline, that has been designed to cope with these shortcomings, to a case-study about the competition between cancer and IS u...

Screening of As-resistant bacterial strains from the bulk soil and the rhizosphere of mycorrhizal Pteris vittata cultivated in an industrial multi-polluted site