High-level Petri nets (HLPNs) are an expressive formalism well supported by a number of tools that automate the editing and the interactive simulation of models and some kinds of analytical techniques, mainly based on state-space exploration. Structural analysis of HLPNs is, however, a challenging task not yet adequately supported and it is often accomplished via the unfolding of an HLPN into a corresponding low-level Petri Net. An approach to derive a system of Ordinary Differential Equations (ODEs) from a Stochastic Symmetric Net (SSN) has been proposed a few years ago, based on the net's unfolding and subsequent grouping of similar equations. This method has been recently improved by providing an algorithm that directly derives a compact ODE system (from a partially unfolded net) in a symbolic way, through algebraic manipulation of SSN annotations. In this paper, we present the automation of the calculus of Symbolic ODEs (SODEs) for SSN models as a new module of SNexpression, a tool for the symbolic structural analysis of Symmetric Nets. An application of the tool/technique to a variant of a SIRS epidemic model including antibiotic resistance is also described.
A tool for the automatic derivation of symbolic ode from symmetric net models / M. Beccuti, L. Capra, M. De Pierro, G. Franceschinis, L. Follia, S. Pernice - In: 2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)Prima edizione. - [s.l] : IEEE Computer Society, 2019. - ISBN 9781728149509. - pp. 36-48 (( Intervento presentato al 27. convegno MASCOTS tenutosi a Rennes nel 2019.
A tool for the automatic derivation of symbolic ode from symmetric net models
L. CapraPrimo
;
2019
Abstract
High-level Petri nets (HLPNs) are an expressive formalism well supported by a number of tools that automate the editing and the interactive simulation of models and some kinds of analytical techniques, mainly based on state-space exploration. Structural analysis of HLPNs is, however, a challenging task not yet adequately supported and it is often accomplished via the unfolding of an HLPN into a corresponding low-level Petri Net. An approach to derive a system of Ordinary Differential Equations (ODEs) from a Stochastic Symmetric Net (SSN) has been proposed a few years ago, based on the net's unfolding and subsequent grouping of similar equations. This method has been recently improved by providing an algorithm that directly derives a compact ODE system (from a partially unfolded net) in a symbolic way, through algebraic manipulation of SSN annotations. In this paper, we present the automation of the calculus of Symbolic ODEs (SODEs) for SSN models as a new module of SNexpression, a tool for the symbolic structural analysis of Symmetric Nets. An application of the tool/technique to a variant of a SIRS epidemic model including antibiotic resistance is also described.File | Dimensione | Formato | |
---|---|---|---|
MASCOTSpaperSode.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
574.35 kB
Formato
Adobe PDF
|
574.35 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
08843193.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
447.11 kB
Formato
Adobe PDF
|
447.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.