A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models

Beccuti, Marco; Capra, Lorenzo; Pierro, Massimiliano De; Franceschinis, Giuliana; Follia, Laura; Pernice, Simone

doi:10.1109/mascots.2019.00015

Cited by 4 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In principle, coloured Petri nets could be simulated directly on the coloured level with the constraint that the model is symmetric (Beccuti et al, 2015), thus avoiding blowing up the model structure which often comes with unfolding. However, the corresponding algorithms are much more complicated, often involve an implicit partial unfolding, and only a few of them are actually available in practice (Beccuti et al, 2019;Amparore et al, 2021). In addition, our models are generally not symmetric.…”

Section: Folding/unfoldingmentioning

confidence: 99%

From Epidemic to Pandemic Modelling

2022

View full text Add to dashboard Cite

We present a methodology for systematically extending epidemic models to multilevel and multiscale spatio-temporal pandemic ones. Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based extension of basic SIR models to include population stratification and also spatio-geographic information and travel connections, represented as graphs, resulting in robust stratified pandemic metapopulation models. The epidemic components and the spatial and stratification data are combined together in these coloured models and built in to the underlying expanded models. As a consequence this method is inherently easy to use, producing scalable and reusable models with a high degree of clarity and accessibility which can be read either in a deterministic or stochastic paradigm. Our method is supported by a publicly available platform PetriNuts; it enables the visual construction and editing of models; deterministic, stochastic and hybrid simulation as well as structural and behavioural analysis. All models are available as Supplementary Material, ensuring reproducibility. All uncoloured Petri nets can be animated within a web browser at https://www-dssz.informatik.tu-cottbus.de/DSSZ/Research/ModellingEpidemics, assisting the comprehension of those models. We aim to enable modellers and planners to construct clear and robust models by themselves.

show abstract

Section: Folding/unfoldingmentioning

confidence: 99%

From Epidemic to Pandemic Modelling

2022

View full text Add to dashboard Cite

show abstract

“…Then, a reduced ODE system may be derived including only these symbolic equations whose solution mimics the behavior of the original model. Recently this result was further improved in [3] where a new algorithm is discussed to generate the symbolic equation for each equivalence class of ODEs without deriving the complete ODE system. This is achieved thanks to a recent extension of a symbolic calculus for the computation of SSN structural properties [7].…”

Section: Scientific Backgroundmentioning

confidence: 99%

“…Similarly, in the analysis phase the ESSN model provides a powerful methodology that automatically exploits the system symmetries to reduce the complexity (in terms of number of equations) of the underlying deterministic process. Indeed in [3] we proposed an algorithm that directly derives a compact ODE system from a ESSN model in a symbolic way, through algebraic manipulation of ESSN annotations.…”

Section: Introductionmentioning

confidence: 99%

Multiple Sclerosis disease: a computational approach for investigating its drug interactions

Pernice¹,

Beccuti²,

Romano³

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

Multiple Sclerosis (MS) is a chronic and potentially highly disabling disease that can cause permanent damage and deterioration of the central nervous system. In Europe it is the leading cause of nontraumatic disabilities in young adults, since more than 700,000 EU people suffer from MS. Although recent studies on MS pathophysiology have been provided, MS remains a challenging disease. In this context, thanks to recent advances in software and hardware technologies, computational models and computer simulations are becoming appealing research tools to support scientists in the study of such disease. Thus, motivated by this consideration we propose in this paper a new model to study the evolution of MS in silico, and the effects of the administration of Daclizumab drug, taking into account also spatiality and temporality of the involved phenomena. Moreover, we show how the intrinsic symmetries of the system can be exploited to drastically reduce the complexity of its analysis.

show abstract