Giuliana Franceschinis Publications 2000-2020

(See older publications)
Matching entries: 0
settings...
Capra L., De Pierro M. and Franceschinis G. (2020), "SNexpression: A Symbolic Calculator for Symmetric Net Expressions", In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham - CHE, 2020, 2020. Vol. 12152, pp. 381-391. Springer.
Abstract: The paper presents SNexpression: a tool for the symbolic structural analysis of Symmetric Nets (SN). It can operate at a low level, handling expressions required to compute the structural properties of interest, but features also a net-based way of interaction allowing to submit commands referring directly to the net structure avoiding error prone input of low level expressions. The User Interface implements a command line interpreter and provides also a multi-page notebook to keep track of the submitted commands and their result.
BibTeX:
@inproceedings{Capra2020,
  author = {Capra L., and De Pierro M., and Franceschinis G.,},
  title = {SNexpression: A Symbolic Calculator for Symmetric Net Expressions},
  booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  publisher = {Springer},
  year = {2020},
  volume = {12152},
  pages = {381-391},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-030-51831-8_19}
}
D. Cerotti, D. Codetta Raiteri, G. Dondossola, L. Egidi, G. Franceschinis, L. Portinale and R. Terruggia (2020), "Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources", APPLIED SCIENCES. Vol. 10
Abstract: This work proposes an approach based on dynamic Bayesian networks to support the cybersecurity analysis of network-based controllers in distributed energy plants. We built a system model that exploits real world context information from both information and operational technology environments in the energy infrastructure, and we use it to demonstrate the value of security evidence for time-driven predictive and diagnostic analyses. The innovative contribution of this work is in the methodology capability of capturing the causal and temporal dependencies involved in the assessment of security threats, and in the introduction of security analytics supporting the configuration of anomaly detection platforms for digital energy infrastructures.
BibTeX:
@article{Cerotti2020,
  author = {D. Cerotti, and D. Codetta Raiteri, and G. Dondossola, and L. Egidi, and G. Franceschinis, and L. Portinale, and R. Terruggia,},
  title = {Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources},
  journal = {APPLIED SCIENCES},
  year = {2020},
  volume = {10},
  note = {Articolo in rivista},
  url = {https://www.mdpi.com/2076-3417/10/14/4725},
  doi = {10.3390/app10144725}
}
Pernice S., Beccuti M., Romano G., Pennisi M., Maglione A., Cutrupi S., Pappalardo F., Capra L., Franceschinis G., De Pierro M., Balbo G., Cordero F. and Calogero R. (2020), "Multiple sclerosis disease: A computational approach for investigating its drug interactions", In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham - CHE, 2019, 2020. Vol. 12313, pp. 299-308. Springer Science and Business Media Deutschland GmbH.
Abstract: 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 non-traumatic disabilities in young adults, since more than 700,000 EU people suffer from MS. Although recent studies on MS pathophysiology have been performed, providing interesting results, 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. 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 the daclizumab drug, taking into account also spatiality and temporality of the involved phenomena. Moreover, we show how the intrinsic symmetries of the model we have developed can be exploited to drastically reduce the complexity of its analysis.
BibTeX:
@inproceedings{Pernice2020,
  author = {Pernice S., and Beccuti M., and Romano G., and Pennisi M., and Maglione A., and Cutrupi S., and Pappalardo F., and Capra L., and Franceschinis G., and De Pierro M., and Balbo G., and Cordero F., and Calogero R.,},
  editor = {Paolo Cazzaniga Daniela Besozzi Ivan Merelli Luca Manzoni,},
  title = {Multiple sclerosis disease: A computational approach for investigating its drug interactions},
  booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  publisher = {Springer Science and Business Media Deutschland GmbH},
  year = {2020},
  volume = {12313},
  pages = {299-308},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-030-63061-4_26}
}
Beccuti M., Capra L., De Pierro M., Franceschinis G., Follia L. and Pernice S. (2019), "A tool for the automatic derivation of symbolic ode from symmetric net models", In Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS., 2019, 2019. Vol. 2019-, pp. 36-48. IEEE Computer Society.
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.
BibTeX:
@inproceedings{Beccuti2019,
  author = {Beccuti M., and Capra L., and De Pierro M., and Franceschinis G., and Follia L., and Pernice S.,},
  title = {A tool for the automatic derivation of symbolic ode from symmetric net models},
  booktitle = {Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS},
  publisher = {IEEE Computer Society},
  year = {2019},
  volume = {2019-},
  pages = {36-48},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/MASCOTS.2019.00015}
}
D. Cerotti, D. Codetta-Raiteri, L. Egidi, G. Franceschinis, L. Portinale, G. Dondossola and R. Terruggia (2019), "Analysis and Detection of Cyber Attack Processes targeting Smart Grids", In 2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe)., 29/9/2019-2/10/2019, 2019. , pp. 1-5. IEEE Press.
Abstract: This paper proposes an approach based on Bayesian Networks to support cyber security analysts in improving the cyber-security posture of the smart grid. We build a system model that exploits real world context information from both Information and Operational Technology environments in the smart grid, and we use it to demonstrate sample predictive and diagnostic analyses. The innovative contribution of this work is in the methodology capability of capturing the many dependencies involved in the assessment of security threats, and of supporting the security analysts in planning defense and detection mechanisms for energy digital infrastructures.
BibTeX:
@inproceedings{Cerotti2019,
  author = {D. Cerotti, and D. Codetta-Raiteri, and L. Egidi, and G. Franceschinis, and L. Portinale, and G. Dondossola, and R. Terruggia,},
  title = {Analysis and Detection of Cyber Attack Processes targeting Smart Grids},
  booktitle = {2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe)},
  publisher = {IEEE Press},
  year = {2019},
  pages = {1-5},
  note = {Contributo in Atti di convegno},
  url = {https://ieeexplore.ieee.org/document/8905716},
  doi = {10.1109/ISGTEurope.2019.8905716}
}
Cerotti Davide, Codetta Raiteri Daniele, Dondossola Giovanna, Egidi Lavinia, Franceschinis Giuliana, Portinale Luigi and Terruggia Roberta (2019), "A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems", In Proceedings of the Third Italian Conference on Cyber Security (ITASEC 2019)., 13-15 Febbraio 2019, 2019. Vol. 2315, pp. 13.
Abstract: The focus of this paper is on the analysis of the cyber security
resilience of digital infrastructures deployed by power grids, internationally recognized as a priority since several recent cyber attacks targeted
energy systems and in particular the power service. In response to the
regulatory framework, this paper presents an analysis approach based
on the Bayesian Networks formalism and on real world threat scenarios.
Our approach enables analyses oriented to planning of security measures
and monitoring, and to forecasting of adversarial behaviours.
BibTeX:
@inproceedings{CerottiDavide2019,
  author = {Cerotti Davide, and Codetta Raiteri Daniele, and Dondossola Giovanna, and Egidi Lavinia, and Franceschinis Giuliana, and Portinale Luigi, and Terruggia Roberta,},
  editor = {P. Degano R. Zunino,},
  title = {A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems},
  booktitle = {Proceedings of the Third Italian Conference on Cyber Security (ITASEC 2019)},
  year = {2019},
  volume = {2315},
  pages = {13},
  note = {Contributo in Atti di convegno},
  url = {http://ceur-ws.org/Vol-2315/}
}
Davide Cerotti, Daniele Codetta-Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale and Roberta Terruggia (2019), "Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid", In Convegno Nazionale CINI sull'Intelligenza Artificiale (Ital-IA)., Marzo 2019, 2019.
Abstract: Proponiamo una metodologia basata sulle Reti Bayesiane come strumento di supporto all’analisi della sicurezza di Smart Grid, ed in particolare per la previsione di intrusioni e attività ostili.
BibTeX:
@inproceedings{DavideCerotti2019,
  author = {Davide Cerotti, and Daniele Codetta-Raiteri, and Giovanna Dondossola, and Lavinia Egidi, and Giuliana Franceschinis, and Luigi Portinale, and Roberta Terruggia,},
  title = {Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid},
  booktitle = {Convegno Nazionale CINI sull'Intelligenza Artificiale (Ital-IA)},
  year = {2019},
  note = {Contributo in Atti di convegno}
}
Giuliana Franceschinis, Balakrishna Prabhu and Mikael Touati Eds. (2019), "Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools" , pp. 4-4. ACM.
BibTeX:
@book{GiulianaFranceschinis2019,,
  editor = {Giuliana Franceschinis, and Balakrishna Prabhu, and Mikael Touati,},
  title = {Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools},
  publisher = {ACM},
  year = {2019},
  pages = {4-4},
  note = {Curatela}
}
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis and Simone Pernice (2018), "Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding", In Proceedings of the 15th European Workshop on Computer Performance Engineering - EPEW - 2018., October 29-30, 2018, 2018. Vol. 11178, pp. 30-45. Springer.
BibTeX:
@inproceedings{MarcoBeccuti2018,
  author = {Marco Beccuti, and Lorenzo Capra, and Massimiliano De Pierro, and Giuliana Franceschinis, and Simone Pernice,},
  editor = {Rena Bakhshi Paolo Ballarini Benoìt Barbot Hind Castel-Taleb Anne Remke,},
  title = {Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding},
  booktitle = {Proceedings of the 15th European Workshop on Computer Performance Engineering - EPEW - 2018},
  publisher = {Springer},
  year = {2018},
  volume = {11178},
  pages = {30-45},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-030-02227-3}
}
Amparore E. G., Balbo G., Beccuti M., Donatelli S. and Franceschinis G. (2016), "30 years of greatSPN", In Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday. , pp. 227-254. Springer London.
Abstract: GreatSPN is a tool for the stochastic analysis of systems modeled as (stochastic) Petri nets. This chapter describes the evolution of the GreatSPN framework over its life span of 30 years, from the first stochastic Petri net analyzer implemented in Pascal, to the current, fancy, graphical interface that supports a number of different model analyzers. This chapter reviews, with the help of a manufacturing system example, how GreatSPN is currently used for an integrated qualitative and quantitative analysis of Petri net systems, ranging from symbolic model checking techniques to a stochastic analysis whose efficiency is boosted by lumpability.
BibTeX:
@inbook{Amparore2016,
  author = {Amparore E. G., and Balbo G., and Beccuti M., and Donatelli S., and Franceschinis G.,},
  editor = {Lance Fiondella Antonio Puliafito,},
  title = {30 years of greatSPN},
  booktitle = {Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday},
  publisher = {Springer London},
  year = {2016},
  pages = {227-254},
  note = {Contributo in volume (Capitolo o Saggio)},
  url = {www.springer.com/series/6917},
  doi = {10.1007/978-3-319-30599-8_9}
}
Beccuti Marco, Amparore Elvio G., Donatelli Susanna, Scheftelowitsch Dimitri, Buchholz Peter and FRANCESCHINIS Giuliana Annamaria (2015), "Markov Decision Petri Nets with Uncertainty", In Computer Performance Engineering - 12th European Workshop, EPEW., 31/8/2015-1/9/2015, 2015. Vol. 9272, pp. 177-192. Springer International Publishing Switzerland.
Abstract: Markov Decision Processes (MDPs) are a well known mathematical formalism that combines probabilities with decisions and allows one to compute
optimal sequences of decisions, denoted as policies, for fairly large models in many situations. However, the practical application of MDPs is often faced with two problems: the specification of large models in an efficient and understandable way, which has to be combined with algorithms to generate the underlying MDP, and the inherent uncertainty on transition probabilities and rewards, of the resulting MDP.
This paper introduces a new graphical formalism, called Markov Decision Petri Net with Uncertainty (MDPNU), that extends the Markov Decision Petri Net (MDPN) formalism, which has been introduced to define MDPs. MDPNUs allow one to specify MDPs where transition probabilities and rewards are defined by intervals rather than constant values. The resulting process is a Bounded Parameter MDP (BMDP). The paper shows how BMDPs are generated from MDPNUs, how analysis methods can be applied and which results can be derived from the models.
BibTeX:
@inproceedings{BeccutiMarco2015,
  author = {Beccuti Marco, and Amparore Elvio G., and Donatelli Susanna, and Scheftelowitsch Dimitri, and Buchholz Peter, and FRANCESCHINIS Giuliana Annamaria,},
  title = {Markov Decision Petri Nets with Uncertainty},
  booktitle = {Computer Performance Engineering - 12th European Workshop, EPEW},
  publisher = {Springer International Publishing Switzerland},
  year = {2015},
  volume = {9272},
  pages = {177-192},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-319-23267-6_12}
}
CAPRA LORENZO, DE PIERRO Massimiliano and FRANCESCHINIS Giuliana Annamaria (2015), "Computing Structural Properties of Symmetric Nets", In Quantitative Evaluation of Systems, Proceedings of the 12th International Conference, QEST 2015., September 1-3, 2015, 2015. Vol. 9259, pp. 125-140. Springer International Publishing.
Abstract: Structural properties of Petri Nets (PN) have an important role in the process of model validation and analysis. When considering Stochastic PNs, comprising stochastic timed and immediate transitions, structural analysis becomes a fundamental step in net-level definition of probabilistic parameters. High Level PN (HLPN) structural analysis still poses many problems and is often based on the unfolding of the HLPN model: this approach prevents the exploitation of model behavioural symmetries. A more effective alternative approach consists in providing a language, along with an associated calculus, allowing to derive expressions dening structural relations among node instances of a HLPN model in a symbolic and parametric form: this has been proposed in the literature for Symmetric Nets (SN). The goal of the present paper is to summarize the language dened to express SNs' structural relations and to formalize the derivation of a basic set of such relations; in particular the algorithms to compute the Structural Mutual Exclusion relation and the symmetric and transitive closure of Structural Conflict are an original contribution of this paper. Examples of applications are also included. The algorithms required to support the calculus for symbolic structural relations computation have been recently completed and implemented in a tool called SNexpression.
BibTeX:
@inproceedings{CAPRALORENZO2015,
  author = {CAPRA LORENZO, and DE PIERRO Massimiliano, and FRANCESCHINIS Giuliana Annamaria,},
  editor = {Javier Campos Boudewijn R. Haverkort,},
  title = {Computing Structural Properties of Symmetric Nets},
  booktitle = {Quantitative Evaluation of Systems, Proceedings of the 12th International Conference, QEST 2015},
  publisher = {Springer International Publishing},
  year = {2015},
  volume = {9259},
  pages = {125-140},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-319-22264-6_9}
}
TERENZIANI Paolo, BOTTRIGHI Alessio, GIORDANO Laura, FRANCESCHINIS Giuliana Annamaria, MONTANI Stefania, PIOVESAN LUCA, PORTINALE Luigi, S. Rubrichi, M. Spiotta and THESEIDER DUPRE' Daniele (2014), "Advances in the GINSENG project", In IEEE International Conference on Healthcare Informatics 2014., 15 – 17 September 2014, 2014. IEEE Computer Society.
BibTeX:
@inproceedings{TERENZIANIPaolo2014,
  author = {TERENZIANI Paolo, and BOTTRIGHI Alessio, and GIORDANO Laura, and FRANCESCHINIS Giuliana Annamaria, and MONTANI Stefania, and PIOVESAN LUCA, and PORTINALE Luigi, and S. Rubrichi, and M. Spiotta, and THESEIDER DUPRE' Daniele,},
  title = {Advances in the GINSENG project},
  booktitle = {IEEE International Conference on Healthcare Informatics 2014},
  publisher = {IEEE Computer Society},
  year = {2014},
  note = {Abstract in Atti di convegno},
  doi = {10.1109/ICHI.2014.63}
}
Beccuti M., Chiaradonna S., Di Giandomenico F., Donatelli S., Dondossola G. and FRANCESCHINIS Giuliana Annamaria (2013), "Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid", In Critical Information Infrastructure Protection and Resilience in the ICT Sector. , pp. 220-241. Wiley.
BibTeX:
@inbook{Beccuti2013,
  author = {Beccuti M., and Chiaradonna S., and Di Giandomenico F., and Donatelli S., and Dondossola G., and FRANCESCHINIS Giuliana Annamaria,},
  editor = {Dario Bruneo e Salvatore Distefano,},
  title = {Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid},
  booktitle = {Critical Information Infrastructure Protection and Resilience in the ICT Sector},
  publisher = {Wiley},
  year = {2013},
  pages = {220-241},
  note = {Contributo in volume (Capitolo o Saggio)},
  doi = {10.4018/978-1-4666-2964-6.ch011}
}
M. Beccuti, G. Franceschinis, D. Codetta-Raiteri and S. Haddad (2013), "Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis", COMPUTER JOURNAL. , pp. 23.
Abstract: In this paper, the Non-deterministic Repairable Fault Tree (NdRFT) formalism is proposed: it allows the modeling of failures of complex systems in addition to their repair processes. Its originality with respect to other Fault Tree extensions allows us to address repair strategy optimization problems: in an NdRFT model, the decision as to whether to start or not a given repair action is non-deterministic, so that all the possibilities are left open. The formalism is rather powerful, it allows: the specification of self-revealing events, the representation of components degradation, the choice among local repair, global repair, preventive maintenance, and the specification of the resources needed to start a repair action. The optimal repair strategy with respect to some relevant system state function, e.g. system unavailability, can then be computed by solving an optimization problem on a Markov Decision Process derived from the NdRFT. Such derivation is obtained by converting the NdRFT model into an intermediate formalism called Markov Decision Petri Net (MDPN). In the paper, the NdRFT syntax and semantics are formally described, together with the conversion rules to derive from the NdRFT the corresponding MDPN model. The application of NdRFT is illustrated through examples.
BibTeX:
@article{Beccuti2013a,
  author = {M. Beccuti, and G. Franceschinis, and D. Codetta-Raiteri, and S. Haddad,},
  title = {Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis},
  journal = {COMPUTER JOURNAL},
  year = {2013},
  pages = {23},
  note = {Articolo in rivista},
  url = {http://comjnl.oxfordjournals.org/content/early/2013/12/25/comjnl.bxt134},
  doi = {10.1093/comjnl/bxt134}
}
M. Beccuti, C. Fornari, G. Franceschinis, S. M. Halawani, O. Ba-Rukab, A. R. Ahmad and G. Balbo (2013), "From Symmetric Nets to Differential Equations exploiting Model Symmetries", COMPUTER JOURNAL. , pp. 17.
Abstract: Stochastic Symmetric Nets (SSNs) are a High-Level Stochastic Petri Net formalism which provides a parametric system description and an efficient analysis technique that exploit system symmetries to automatically aggregate its states. Even if significant reductions can be achieved in highly symmetric models, the reduced state space can still be too large to derive and/or solve the underlying stochastic process, so that Monte Carlo simulation and fluid approximation remain the only viable ways that need to be explored. In this paper, we contribute to this line of research by proposing a new approach based on fluid approximation to automatically derive from an SSN model a set of ordinary differential equations (ODEs) which mimic the system behavior, and by showing how the SSN formalism allows us to define an efficient translation method which reduces the size of the corresponding ODE system with an automatic exploitation of system symmetries. Additionally, some case studies are presented to show the effectiveness of the method and the relevance of its application in practical cases.
BibTeX:
@article{Beccuti2013b,
  author = {M. Beccuti, and C. Fornari, and G. Franceschinis, and S. M. Halawani, and O. Ba-Rukab, and A. R. Ahmad, and G. Balbo,},
  title = {From Symmetric Nets to Differential Equations exploiting Model Symmetries},
  journal = {COMPUTER JOURNAL},
  year = {2013},
  pages = {17},
  note = {Articolo in rivista},
  url = {http://comjnl.oxfordjournals.org/content/early/2013/10/17/comjnl.bxt111},
  doi = {10.1093/comjnl/bxt111}
}
Elvio Gilberto Amparore, Benoit Barbot, Marco Beccuti, Susanna Donatelli and Giuliana Franceschinis (2013), "Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets", In Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation - SIGSIM-PADS '13. New York - USA, Maggio 2013, 2013. , pp. 253-264. ACM.
Abstract: The Hybrid Automata Stochastic Logic (HASL) has been recently defined as a flexible way to express classical performance measures as well as more complex, path-based ones (generically called "HASL formulas"). The considered paths are executions of Generalized Stochastic Petri Nets (GSPN), which are an extension of the basic Petri net formalism to define discrete event stochastic processes. The computation of the HASL formulas for a GSPN model is demanded to the COSMOS tool, that applies simulation techniques to the formula computation. Stochastic Symmetric Nets (SSN) are a high level Petri net formalism, of the colored type, in which tokens can have an identity, and it is well known that colored Petri nets allow one to describe systems in a more compact and parametric form than basic (uncolored) Petri nets. In this paper we propose to extend HASL and COSMOS to support colors, so that performance formulas for SSN can be easily defined and evaluated. This requires a new definition of the logic, to ensure that colors are taken into account in a correct and useful manner, and a significant extension of the COSMOS tool.
BibTeX:
@inproceedings{EGA2013,
  author = {Elvio Gilberto Amparore, and Benoit Barbot, and Marco Beccuti, and Susanna Donatelli, and Giuliana Franceschinis,},
  title = {Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets},
  booktitle = {Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation - SIGSIM-PADS '13},
  publisher = {ACM},
  year = {2013},
  pages = {253-264},
  note = {Contributo in Atti di convegno},
  doi = {10.1145/2486092.2486124}
}
Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli and Giuliana Franceschinis (2013), "Expressing and Computing Passage Time Measures of GSPN Models with HASL", In Application and Theory of Petri Nets and Concurrency. Berlin Heidelberg -, June 2013, 2013. Vol. LNCS 7927, pp. 110-129. Springer.
Abstract: Passage time measures specification and computation for Generalized Stochastic Petri Net models have been faced in the literature from different points of view. In particular three aspects have been developed: (1) how to select a specific token (called the tagged token) and measure the distribution of the time employed from an entry to an exit point in a subnet; (2) how to specify in a flexible way any condition on the paths of interest to be measured, (3) how to efficiently compute the required distribution. In this paper we focus on the last two points: the specification and computation of complex passage time measures in (Tagged) GSPNs using the Hybrid Automata Stochastic Logic (HASL) and the statistical model checker COSMOS. By considering GSPN models of two different systems (a flexible manufacturing system and a workflow), we identify a number of relevant performance measures (mainly passage-time distributions), formally express them in HASL terms and assess them by means of simulation in the COSMOS tool. The interest from the measures specification point of view is provided by the possibility of setting one or more timers along the paths, and setting the conditions for the paths selection, based on the measured values of such timers. With respect to other specification languages allowing to use timers in the specification of performance measures, HASL provides timers suspension, reactivation, and rate change along a path.
BibTeX:
@inproceedings{EGA2013a,
  author = {Elvio Gilberto Amparore, and Paolo Ballarini, and Marco Beccuti, and Susanna Donatelli, and Giuliana Franceschinis,},
  title = {Expressing and Computing Passage Time Measures of GSPN Models with HASL},
  booktitle = {Application and Theory of Petri Nets and Concurrency},
  publisher = {Springer},
  year = {2013},
  volume = {LNCS 7927},
  pages = {110-129},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-642-38697-8_7}
}
Terenziani P., Bottrighi A., Franceschinis G., Giordano L., Montani S., Portinale L. and Theseider Dupre D. (2013), "Towards a Second Generation of Computer Interpretable Guidelines", In DATA 2013. , pp. 199-205.
BibTeX:
@inproceedings{Terenziani2013,
  author = {Terenziani P., and Bottrighi A., and Franceschinis G., and Giordano L., and Montani S., and Portinale L., and Theseider Dupre D.,},
  title = {Towards a Second Generation of Computer Interpretable Guidelines},
  booktitle = {DATA 2013},
  year = {2013},
  pages = {199-205},
  note = {Contributo in Atti di convegno},
  doi = {10.5220/0004585501990205}
}
W. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Kleijn, L. M. Kristensen Eds. (2012), "Transactions on Petri Nets and Other Models of Concurrency VI" Vol. LNCS 7400 Springer.
Abstract: The sixth volume of ToPNoC includes revised versions of selected papers from workshops and tutorials held at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. It also contains a special section on Networks, Protocols, and Services, as well as a contributed paper submitted through the regular submission track of ToPNoC. The 14 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.
BibTeX:
@book{Aalst2012,,
  editor = {W. van der Aalst, and M. Ajmone Marsan, and FRANCESCHINIS Giuliana Annamaria, and J. Kleijn, and L. M. Kristensen,},
  title = {Transactions on Petri Nets and Other Models of Concurrency VI},
  publisher = {Springer},
  year = {2012},
  volume = {LNCS 7400},
  note = {Curatela},
  url = {http://www.springer.com/computer/swe/book/978-3-642-35178-5}
}
Beccuti M, Chiaradonna S, Di Giandomenico F, DONATELLI S, DONDOSSOLA G and FRANCESCHINIS G (2012), "Quantification of Dependencies between Electrical and Information Infrastructures", INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION. Vol. 5, pp. 14-27.
Abstract: In this paper we present an approach to model and quantify (inter)dependencies between the Electrical Infrastructure (EI) and the Information Infrastructure (II) that implements the EI control and monitoring system. The quantification is achieved through the integration of two models: one that concentrates more on the structure of the power grid and its physical quantities and one that concentrates on the behavior of the control system supported by the II. The modeling approach is exemplified on a scenario whose goal is to study the effects of an II partial failure (a denial of service attack that compromises the communication network) on the remote control of the EI. The approach has been initially developed as part of the European project CRUTIAL.
BibTeX:
@article{BeccutiM2012,
  author = {Beccuti M, and Chiaradonna S, and Di Giandomenico F, and DONATELLI S, and DONDOSSOLA G, and FRANCESCHINIS G,},
  title = {Quantification of Dependencies between Electrical and Information Infrastructures},
  journal = {INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION},
  year = {2012},
  volume = {5},
  pages = {14-27},
  note = {Articolo in rivista},
  doi = {10.1016/j.ijcip.2012.01.003}
}
Marco Beccuti and Giuliana Franceschinis (2012), "Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation", In Proceedings of the Winter Simulation Conference., December, 2012, 2012. , pp. 13. Winter Simulation Conference.
Abstract: Stochastic Well-Formed Nets (SWN) is a High-Level Stochastic Petri Net formalism supporting performability analysis. The symbolic marking and firing notions in SWNs allow to automatically aggregate states achieving significant reductions in highly symmetric models. If the reduced state space is still too large, simulation may be applied exploiting symbolic marking and firing to achieve more efficient handling of the Future Event List. This technique is implemented in the GreatSPN tool.

In this paper symmetry based simulation methods are presented, their strong and weak points are discussed, the issue of performance indices definition and computation is introduced, and an extension exploiting the most recent results on partial symmetries is proposed.
BibTeX:
@inproceedings{MarcoBeccuti2012,
  author = {Marco Beccuti, and Giuliana Franceschinis,},
  title = {Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation},
  booktitle = {Proceedings of the Winter Simulation Conference},
  publisher = {Winter Simulation Conference},
  year = {2012},
  pages = {13},
  note = {Contributo in Atti di convegno}
}
Amparore E G, Beccuti M, Donatelli S and Franceschinis G (2011), "Probe Automata for Passage Time Specification", In Proc. 8th Int. Conf. on Quantitative Evaluation of SysTems, QEST2011., September 2011, 2011. , pp. 101-110. IEEE Computer Society.
Abstract: Passage time distribution has drawn increasing attention over the past years as an important measure to define and verify service level agreements. The definition of passage time requires the specification of a condition to start/stop the computation, and possibly of a restriction on the system behavior to be considered between start and stop. Different characterizations have been defined in the past, either state-based, action-based or a mix of the two, either for Markov chains, or for stochastic Petri nets and process algebras. In this paper we propose probe automata as a way to specify passage time for GSPNs that allows one to select entering, goal, and forbidden states, as well as paths of interest starting from any reachable state. The specification is in terms of conditions over the current marking, the transition (sequence) being fired, as well as over the marking reached through the firing. Probe automata subsume previous definitions of passage time for GSPNs and for Tagged GSPNs, the extension of GSPNs that was defined in the past for computing passage time of a em tagged token in a GSPN.
BibTeX:
@inproceedings{AEG2011,
  author = {Amparore E G, and Beccuti M, and Donatelli S, and Franceschinis G,},
  title = {Probe Automata for Passage Time Specification},
  booktitle = {Proc. 8th Int. Conf. on Quantitative Evaluation of SysTems, QEST2011},
  publisher = {IEEE Computer Society},
  year = {2011},
  pages = {101-110},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/QEST.2011.20}
}
Baarir S, Beccuti M, Dutheillet C, FRANCESCHINIS Giuliana Annamaria and Haddad S. (2011), "Lumping Partially Symmetrical Stochastic Models", PERFORMANCE EVALUATION. Vol. 68, pp. 21-44.
Abstract: The performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their state space. Among the possible methods to cope with this problem, symmetry-based ones can be applied to systems including several similar components. Often however these systems are only partially symmetric: their behavior is in general symmetric except for some local situation when the similar components need to be differentiated. In this paper two methods to efficiently analyze partially symmetrical models are presented in a general setting and the requirements for their efficient implementation are discussed. Some case studies are presented to show the methods' effectiveness and their applicative interest.
BibTeX:
@article{BaarirS2011,
  author = {Baarir S, and Beccuti M, and Dutheillet C, and FRANCESCHINIS Giuliana Annamaria, and Haddad S.,},
  title = {Lumping Partially Symmetrical Stochastic Models},
  journal = {PERFORMANCE EVALUATION},
  year = {2011},
  volume = {68},
  pages = {21-44},
  note = {Articolo in rivista},
  doi = {10.1016/j.peva.2010.09.002}
}
Balbo G, Beccuti M, De Pierro M and FRANCESCHINIS G (2011), "Computing first passage time distributions in Stochastic Well-Formed Nets", In Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering, ICPE 2011. New York - USA, March 2011, 2011. , pp. 7-18. ACM.
Abstract: The increasing demand for customer centric evaluation of systems, mostly related with the assessment of the quality of service that they can deliver, requires the development of techniques properly designed to model and to study the movement of specific entities generically referred to as "customers". Stochastic Well-Formed Net(SWN) are naturally suited for the representation of systems in which "customers" of different categories compete for the use of common resources. Color classes of SWN are easily associated with these different categories, leaving to the peculiar features of the formalism the possibility of exploiting all the symmetries existing into the representation for the efficient and effective computation of the measures of interest. Within this application context, the computation of first passage time distribution measures in Stochastic Well-Formed Net (SWN) is becoming of primary interest. Customers however are not primitive entities in the formalism and an approach similar to that previously developed for Generalized Stochastic Petri Nets (GSPN) is suggested to overcome this problem in which P-semiflows are used to identify the circulating "customers". In this paper we propose an original algorithm for computing some P-semiflows of colored PNs (in particular of SWNs) in parametric form by exploiting the peculiarities of the objective of this investigation, and extend the customer centric first passage time computation approach previously developed for GSPNs, to make it suitable for SWN models. Moreover, the paper proposes an enhancement of the SWN notation in order to provide a way to ease the modeler in the specification of customer scheduling policies that may affect the computation of first passage time distributions. This extension, inspired by Queueing Petri Nets, adds to SWN some "syntactic sugar" that allows to include in the model queueing places which are automatically replaced by appropriate submodels, before solving the model.
BibTeX:
@inproceedings{BalboG2011,
  author = {Balbo G, and Beccuti M, and De Pierro M, and FRANCESCHINIS G,},
  title = {Computing first passage time distributions in Stochastic Well-Formed Nets},
  booktitle = {Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering, ICPE 2011},
  publisher = {ACM},
  year = {2011},
  pages = {7-18},
  note = {Contributo in Atti di convegno},
  doi = {10.1145/1958746.1958754}
}
Balbo G, Beccuti M, De Pierro M and FRANCESCHINIS Giuliana Annamaria (2011), "First Passage Time Computation in Tagged GSPN with Queue Places", COMPUTER JOURNAL. Vol. 54, pp. 653-673.
Abstract: This paper presents an extension of the generalized stochastic Petri net (GSPN) formalism that enables the computation of first passage time distributions. The tagged customer technique typical of queuing networks is adapted to the GSPN context by providing a formal definition and an automatic computation of the groups of tokens that can be identified as customers, i.e. classes of homogeneous entities behaving in a similar manner. Passage times are identified through the concept of events that correspond to the firing of transitions placed at the boundaries of a subnet. The extended model obtained with this specifications is translated into an ordinary GSPN by isolating a customer from the group and highlighting its path through the net thus obtaining a representation suited for the passage time analysis. Proofs are provided to show the equivalence between these models with respect to their steady-state distributions. An important and original aspect treated in this paper is the possibility of specifying several scheduling policies of tokens at places, an information not present in ordinary GSPN models, but that is vital for the precise computation of first passage time distributions as shown by a few results computed for a simple Flexible Manufacturing application.
BibTeX:
@article{BalboG2011a,
  author = {Balbo G, and Beccuti M, and De Pierro M, and FRANCESCHINIS Giuliana Annamaria,},
  title = {First Passage Time Computation in Tagged GSPN with Queue Places},
  journal = {COMPUTER JOURNAL},
  year = {2011},
  volume = {54},
  pages = {653-673},
  note = {Articolo in rivista},
  doi = {10.1093/comjnl/bxq056}
}
Beccuti M, Franceschinis G and Haddad S. (2011), "MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING. Vol. 7, pp. 417-428.
Abstract: MDWNsolver is a framework for system modeling and optimization of performability measures based on Markov Decision Petri Net (MDPN) and Markov Decision Well-formed Net (MDWN) formalisms, two Petri Net extensions for high level specification of Markov Decision Processes (MDP). It is integrated in the GreatSPN suite which provides a GUI to design MDPN/MDWN models. From the analysis point of view, MDWNsolver uses efficient algorithms that take advantage of system symmetries, thus reducing the analysis complexity. In this paper the MDWNsolver framework features and architecture are presented, and some application examples are discussed.
BibTeX:
@article{BeccutiM2011,
  author = {Beccuti M, and Franceschinis G, and Haddad S.,},
  title = {MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets},
  journal = {INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING},
  year = {2011},
  volume = {7},
  pages = {417-428},
  note = {Articolo in rivista}
}
Franceschinis G, Ingrassia PL, Tengattini M and Della Corte F (2011), "E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine", In Didattica universitaria online - Vol. II - Esperienze. , pp. 15. ScriptaWeb.
Abstract: Lo European Master in Disaster Medicine è un corso di alta formazione in Medicina delle Catastrofi erogato in e-learning e frequentato da discenti provenienti da tutto il mondo. Il programma comprende 1) una fase a distanza articolata in più sezioni, ciascuna guidata da un membro del corpo docente, basata sull’apprendimento per risoluzione di problemi e completata da attività collaborative in gruppo; 2) un corso residenziale di due settimane, dove gli studenti interagiscono con i docenti in dibattiti, verificano la capacità di applicare quanto appreso a distanza, svolgono esercizi di simulazione virtuale e dal vivo; 3) la compilazione di una tesi e 4) un esame finale on-line. Gli sviluppi tecnologici più interessanti che caratterizzano questo corso internazionale vanno nella direzione del game-based learning, ovvero lo sviluppo di ambienti virtuali che permettono di costruire scenari di grandi incidenti, di definire piani di emergenza per gli ospedali dell’area, e di simulare uno scenario di incidente ipotizzato, allo scopo di valutare la risposta all’emergenza e la validità dei piani elaborati dai discenti.
BibTeX:
@inbook{FranceschinisG2011,
  author = {Franceschinis G, and Ingrassia PL, and Tengattini M, and Della Corte F,},
  editor = {M. Beatrice Ligorio, Elvis Mazzoni, Aurelio Simone, Mirella Casini Schaerf,},
  title = {E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine},
  booktitle = {Didattica universitaria online - Vol. II - Esperienze},
  publisher = {ScriptaWeb},
  year = {2011},
  pages = {15},
  note = {Contributo in volume (Capitolo o Saggio)},
  url = {http://scriptaweb.eu/Catalogo/didattica-universitaria-online-vol-ii}
}
Balbo G, Beccuti M, De Pierro M and FRANCESCHINIS Giuliana Annamaria (2010), "Stochastic Petri Net Sensitivity to token scheduling policies", In Proceedings of the Int. Conf. on Operations Research., 1-3 September 2010, 2010. , pp. 181-186. Springer.
Abstract: Stochastic Petri Nets and their generalizations are powerful formalisms for the specification of stochastic processes. In their original definition they do not provide any specification for the token extraction order applied by a transition to its input places, however this aspect may be relevant if timed transitions are interpreted as servers and tokens as customers, so that the extraction order may be interpreted as a scheduling policy. In this paper we discuss how the token scheduling policies different from the Random Order one which is assumed by default, may be relevant for the computation of average performance indices.
BibTeX:
@inproceedings{BalboG2010,
  author = {Balbo G, and Beccuti M, and De Pierro M, and FRANCESCHINIS Giuliana Annamaria,},
  title = {Stochastic Petri Net Sensitivity to token scheduling policies},
  booktitle = {Proceedings of the Int. Conf. on Operations Research},
  publisher = {Springer},
  year = {2010},
  pages = {181-186},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-642-20009-0_29}
}
Beccuti M, Fragnelli V, Franceschinis G and Villa S (2010), "Dynamic simulations of kidney exchanges", In Proc. of the Int. Conf. on Operations Research. Berlin Heidelberg , pp. 539-544. Springer.
Abstract: In this paper we develop a simulator modeling a kidney exchange program, in which donor-recipient pairs with characteristics drawn from a distribution based on real data join the system over time, and a centralized authority organizes a suitably chosen set of exchanges among the pairs in the pool at regular intervals of time, as it happens in the Netherlands or in the US. We compare and discuss the results of numerical simulations on this model varying the matching policy.
BibTeX:
@inproceedings{Beccuti2010,
  author = {Beccuti, M and Fragnelli, V and Franceschinis, G and Villa, S},
  title = {Dynamic simulations of kidney exchanges},
  booktitle = {Proc. of the Int. Conf. on Operations Research},
  publisher = {Springer},
  year = {2010},
  pages = {539--544},
  doi = {10.1007/978-3-642-20009-0_85}
}
G. Franceschinis, W. Penczek, and K. Wolf Eds. (2010), "Special Issue with selected papers from the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency", FUNDAMENTA INFORMATICAE. Vol. 105 IOS Press.
Abstract: Disponibile anche on-line
ISSN 1875-8681
BibTeX:
@book{FGA2010,,
  editor = {FRANCESCHINIS Giuliana Annamaria, and Penczek W, and Wolf K.,},
  title = {Special Issue with selected papers from the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency},
  journal = {FUNDAMENTA INFORMATICAE},
  publisher = {IOS Press},
  year = {2010},
  volume = {105},
  note = {Curatela},
  doi = {10.3233/FI-2010-364}
}
Valmari A and FRANCESCHINIS Giuliana Annamaria (2010), "Simple O(m logn) Time Markov Chain Lumping", In Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010. Berlin Heidelberg -, 20-28 March 2010, 2010. Vol. 6015, pp. 38-52. Springer Verlag.
Abstract: In 2003, Derisavi, Hermanns, and Sanders presented a complicated O(m log n) time algorithm for the Markov chain lumping problem, where n is the number of states and m the number of transitions in the Markov chain. They speculated on the possibility of a simple algorithm and wrote that it would probably need a new way of sorting weights. In this article we present an algorithm of that kind. In it, the weights are sorted with a combination of the so-called possible majority candidate algorithm with any O(k logk) sorting algorithm. This works because, as we prove in the article, the weights consist of two groups, one of which is sufficiently small and all weights in the other group have the same value. We also point out an essential problem in the description of the earlier algorithm, prove the correctness of our algorithm in detail, and report some running time measurements.
BibTeX:
@inproceedings{ValmariA2010,
  author = {Valmari A, and FRANCESCHINIS Giuliana Annamaria,},
  editor = {Javier Esparza;Rupak Majumdar,},
  title = {Simple O(m logn) Time Markov Chain Lumping},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010},
  publisher = {Springer Verlag},
  year = {2010},
  volume = {6015},
  pages = {38-52},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-642-12002-2_4}
}
/pre>
S. BAARIR, M. BECCUTI, CEROTTI DAVIDE, M. DE PIERRO, S. DONATELLI and FRANCESCHINIS Giuliana Annamaria (2009), "The GreatSPN tool: recent enhancements", PERFORMANCE EVALUATION REVIEW. Vol. 36, pp. 4-9.
Abstract: GreatSPN is a tool that supports the design and the qualitative and quantitative analysis of Generalized Stochastic Petri Nets (GSPN) and of Stochastic Well-Formed Nets (SWN). The very first version of GreatSPN saw the light in the late eighties of last century: since then two main releases where developed and widely distributed to the research community: GreatSPN1.7 [13], and GreatSPN2.0 [8]. This paper reviews the main functionalities of GreatSPN2.0 and presents some recently added features that significantly enhance the efficacy of the tool.
BibTeX:
@article{BAARIR2009,
  author = {S. BAARIR, and M. BECCUTI, and CEROTTI DAVIDE, and M. DE PIERRO, and S. DONATELLI, and FRANCESCHINIS Giuliana Annamaria,},
  title = {The GreatSPN tool: recent enhancements},
  journal = {PERFORMANCE EVALUATION REVIEW},
  year = {2009},
  volume = {36},
  pages = {4-9},
  note = {Articolo in rivista},
  doi = {10.1145/1530873.1530876}
}
Beccuti M., Franceschinis G., Codetta Raiteri D. and Haddad S. (2009), "Parametric NdRFT for the derivation of optimal repair strategies", In Proceedings of the International Conference on Dependable Systems and Networks., 29 June-2 July 2009, 2009. , pp. 399-408. IEEE Computer Society.
Abstract: Non deterministic Repairable Fault Trees (NdRFT) are a recently proposed modeling formalism for the study of optimal repair strategies: they are based on the widely adopted Fault Tree formalism, but in addition to the failure modes, NdRFTs allow to define possible repair actions. In a previous pa per the formalism has been introduced together with an analysis method and a tool allowing to automatically derive the best repair strategy to be applied in each state. The analysis technique is based on the generation and solution of a Markov Decision Process. In this paper we present an extension, ParNdRFT, that allows to exploit the presence of redundancy to reduce the complexity of the model and of the analysis. It is based on the translation of the ParNdRFT in to a Markov Decision Well-Formed Net, i.e. a model specified by means of an High Level Petri Net formalism. The translated model can be efficiently solved thanks to existing algorithms that generate a reduced state space automatically exploiting the model symmetries.
BibTeX:
@inproceedings{Beccuti2009,
  author = {Beccuti M., and Franceschinis G., and Codetta Raiteri D., and Haddad S.,},
  title = {Parametric NdRFT for the derivation of optimal repair strategies},
  booktitle = {Proceedings of the International Conference on Dependable Systems and Networks},
  publisher = {IEEE Computer Society},
  year = {2009},
  pages = {399-408},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/DSN.2009.5270312}
}
Beccuti M, BOTTRIGHI Alessio, FRANCESCHINIS Giuliana Annamaria, MONTANI Stefania and TERENZIANI Paolo (2009), "Modeling clinical guidelines through Petri Nets", In Proceedings of the 12th Conference on Artificial Intelligence in Medicine. Berlin -, July, 2009. Vol. LNAI 5651, pp. 61-70. SPRINGER.
BibTeX:
@inproceedings{BeccutiM2009,
  author = {Beccuti M, and BOTTRIGHI Alessio, and FRANCESCHINIS Giuliana Annamaria, and MONTANI Stefania, and TERENZIANI Paolo,},
  editor = {C. Combi Y. Shahar and A. Abu-Hanna,},
  title = {Modeling clinical guidelines through Petri Nets},
  booktitle = {Proceedings of the 12th Conference on Artificial Intelligence in Medicine},
  publisher = {SPRINGER},
  year = {2009},
  volume = {LNAI 5651},
  pages = {61-70},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-642-02976-9_8}
}
BECCUTI MARCO, CODETTA RAITERI Daniele and FRANCESCHINIS Giuliana Annamaria (2009), "Multiple abstraction levels in performance analysis of WSN monitoring systems", In Proceedings of the International Conference on Performance Evaluation, Methodologies and Tools., October 2009, 2009. ICST.
Abstract: In this paper, we illustrate the use of different methods to support the design of a Wireless Sensor Network (WSN), by using as a case study a monitoring system that must track a moving object within a given area. The goal of the study is to find a good trade-off between the power consumption and the object tracking reliability. Power saving can be achieved by periodically powering off some of the nodes for a given time interval. Of course nodes can detect the moving object only when they are on, so that the power management strategy can affect the ability to accurately track the object movements. We propose two models and the corresponding analysis and simulation tools, that can be used in a synergistic way: the first model is based on the Markov Decision Well-formed Net (MDWN) formalism while the second one is based on the Stochastic Activity Network (SAN) formalism. The MDWN model is more abstract and is used to compute an optimal power management strategy by solving a Markov Decision Process (MDP); the SAN model is more detailed and is used to perform extensive simulation (using the Mobius tool) in order to analyze different performance indices, both when applying the power management policy derived from the first model and when using different policies.
BibTeX:
@inproceedings{BECCUTIMARCO2009,
  author = {BECCUTI MARCO, and CODETTA RAITERI Daniele, and FRANCESCHINIS Giuliana Annamaria,},
  title = {Multiple abstraction levels in performance analysis of WSN monitoring systems},
  booktitle = {Proceedings of the International Conference on Performance Evaluation, Methodologies and Tools},
  publisher = {ICST},
  year = {2009},
  note = {Contributo in Atti di convegno},
  doi = {10.4108/ICST.VALUETOOLS2009.7736}
}
Beccuti M, Franceschinis G, Donatelli S, Chiaradonna S, Di Giandomenico F, Lollini P, Dondossola G and Garrone F (2009), "Quantification of dependencies in electrical and information infrastructures: The crutial approach", In 2009 4th International Conference on Critical Infrastructures, CRIS 2009. , pp. 1-8. IEEE.
Abstract: In this paper we present the CRUTIAL approach to model and quantify (inter)dependencies between the Electrical Infrastructure (EI) and the Information Infrastructures (II) that implements the EI control and monitoring system. The quantification is achieved through the integration of two models: one that concentrates more on the structure of the power grid and its physical quantities and one that concentrates on the behaviour of the control system supported by the II. The modelling approach is exemplified on a scenario whose goal is to study the effects of a II partial failure (a denial of service attack that compromises the communication network) on the remote control of the EI.
BibTeX:
@conference{Beccuti2009a,
  author = {Beccuti, M. and Franceschinis, G. and Donatelli, S. and Chiaradonna, S. and Di Giandomenico, F. and Lollini, P. and Dondossola, G. and Garrone, F.},
  title = {Quantification of dependencies in electrical and information infrastructures: The crutial approach},
  booktitle = {2009 4th International Conference on Critical Infrastructures, CRIS 2009},
  publisher = {IEEE},
  year = {2009},
  pages = {1--8},
  doi = {10.1109/CRIS.2009.5071482}
}
GIANFRANCO BALBO, MASSIMILIANO DE PIERRO and FRANCESCHINIS Giuliana Annamaria (2009), "Tagged Generalized Stochastic Petri Nets", In Proc. 6th European Performance Engineering Workshop. Berlin Heidelberg -, 9-10 July 2009, 2009. Vol. LNCS 5652, pp. 1-15. Springer.
Abstract: This paper introduces an extension of the Generalized Stochastic Petri Net (GSPN) formalism in order to enable the computation of first passage time distributions of tokens. A “tagged token” technique is used which relies on net’s structural properties to guide the correct specification of this extension. The extended model is suited for an automatic translation into an ordinary GSPN that can be used for the first passage time analysis. Scheduling policies of tokens in places, that are neglected in ordinary GSPNs, become relevant in the Tagged Generalized Stochastic Petri Net (TGSPN) formalism and specific submodels are proposed which are then used during the translation from TGSPNs to ordinary GSPNs. A running example inspired by a Flexible Manufacturing application is used throughout the paper to introduce the different concepts and to provide evidence of the relevance of the results.
BibTeX:
@inproceedings{GIANFRANCOBALBO2009,
  author = {GIANFRANCO BALBO, and MASSIMILIANO DE PIERRO, and FRANCESCHINIS Giuliana Annamaria,},
  editor = {Jeremy T. Bradley,},
  title = {Tagged Generalized Stochastic Petri Nets},
  booktitle = {Proc. 6th European Performance Engineering Workshop},
  publisher = {Springer},
  year = {2009},
  volume = {LNCS 5652},
  pages = {1-15},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-642-02924-0_1}
}
G. Franceschinis and K. Wolf Eds. (2009), "Proceedings 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency" Vol. LNCS 5506 Springer.
BibTeX:
@book{GiulianaFRANCESCHINIS2009,,
  editor = {Giuliana FRANCESCHINIS, and Karsten WOLF},
  title = {Proceedings 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency},
  publisher = {Springer},
  year = {2009},
  volume = {LNCS 5506},
  note = {Curatela}
}
BAARIR S, BECCUTI M and FRANCESCHINIS Giuliana Annamaria (2008), "New solvers for asymmetric systems in GreatSPN", In Proc. of the 5th Int. Conf. on Quantitative Eval. of Systems., Settembre 2008, 2008. , pp. 235-236. IEEE Computer Society Press.
Abstract: In this paper we present the extended symbolic reachability graph/dynamic symbolic reachability graph (ESRG/DSRG) framework to model and solve (asymmetric) SWN models. This framework combines several tools: GreatSPN for the model design, WNESRG to build the ESRG of the designed model, ESRG2MC to refine the ESRG and generate the corresponding MC, WNDSRG to build the DSRG and the corresponding MC. MCSolver is used to solve the MC and compute the steady state marking probability. The following section is dedicated to the detailed presentation of this new framework.
BibTeX:
@inproceedings{BAARIRS2008,
  author = {BAARIR S, and BECCUTI M, and FRANCESCHINIS Giuliana Annamaria,},
  title = {New solvers for asymmetric systems in GreatSPN},
  booktitle = {Proc. of the 5th Int. Conf. on Quantitative Eval. of Systems},
  publisher = {IEEE Computer Society Press},
  year = {2008},
  pages = {235-236},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/QEST.2008.38}
}
BECCUTI M., CODETTA RAITERI D, FRANCESCHINIS G and HADDAD S (2008), "Non deterministic Repairable Fault Trees for computing optimal repair strategy", In Proc. of the Int. Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08). Brussels - BEL, October 2008, 2008. ICST.
Abstract: In this paper, the Non deterministic Repairable Fault Tree (NdRFT) formalism is proposed: it allows to model failure modes of complex systems as well as their repair processes. The originality of this formalism with respect to other Fault Tree extensions is that it allows to face repair strategies optimization problems: in an NdRFT model, the decision on whether to start or not a given repair action is non deterministic, so that all the possibilities are left open. The formalism is rather powerful allowing to specify which failure events are observable, whether local repair or global repair can be applied, and the resources needed to start a repair action. The optimal repair strategy can then be computed by solving an optimization problem on a Markov Decision Process (MDP) derived from the NdRFT. A software framework is proposed in order to perform in automatic way the derivation of an MDP from a NdRFT model, and to deal with the solution of the MDP.
BibTeX:
@inproceedings{BECCUTI2008,
  author = {BECCUTI M., and CODETTA RAITERI D, and FRANCESCHINIS G, and HADDAD S,},
  title = {Non deterministic Repairable Fault Trees for computing optimal repair strategy},
  booktitle = {Proc. of the Int. Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08)},
  publisher = {ICST},
  year = {2008},
  note = {Contributo in Atti di convegno},
  doi = {10.4108/ICST.VALUETOOLS2008.4411}
}
Beccuti M, FRANCESCHINIS Giuliana Annamaria, Kaâniche M and Kanoun K. (2008), "Multi-level dependability modeling of interdependencies between the electricity and information infrastructures", In 3rd International Workshop on Critical Information Infrastructures Security, CRITIS 2008. Berlin Heidelberg -, Ottobre 2008, 2008. Vol. LNCS 5508, pp. 48-59. Springer-Verlag.
Abstract: The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRUTIAL project the interdependencies between the electricity infrastructure (EI) and the information infrastructure (II) responsible for its control, maintenance and management have been thoroughly studied; moreover countermeasures to substantially reduce the risk to interrupt the service have been developed in the project. The possible interdependencies have been investigated by means of model at different abstraction levels. In this paper, we present high level models describing the various interdependencies between the EI and the II infrastructures, then we illustrate on a simple scenario how these models can be detailed to allow the evaluation of some measures of dependability.
BibTeX:
@inproceedings{BeccutiM2008,
  author = {Beccuti M, and FRANCESCHINIS Giuliana Annamaria, and Kaâniche M, and Kanoun K.,},
  editor = {Setola Roberto Geretshuber Stefan,},
  title = {Multi-level dependability modeling of interdependencies between the electricity and information infrastructures},
  booktitle = {3rd International Workshop on Critical Information Infrastructures Security, CRITIS 2008},
  publisher = {Springer-Verlag},
  year = {2008},
  volume = {LNCS 5508},
  pages = {48-59},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-642-03552-4_5}
}
BECCUTI MARCO, FRANCESCHINIS Giuliana Annamaria, CODETTA RAITERI Daniele and HADDAD S. (2008), "Non deterministic Repairable Fault Trees for computing optimal repair strategy" (Tech.Report TR-INF-2008-07-05-UNIPMN).
Abstract: In this paper, the Non deterministic Repairable Fault Tree (NdRFT) formalism is proposed: it allows to model failure modes of complex systems as well as their repair processes. The originality of this formalism
with respect to other Fault Tree extensions is that it allows to face repair strategies optimization problems: in an NdRFT model, the decision on whether to start or not a given repair action is non deterministic, so
that all the possibilities are left open. The formalism is rather powerful allowing to specify which failure events are observable, whether local repair or global repair can be applied, and the resources needed to start
a repair action. The optimal repair strategy can then be computed by solving an optimization problem on a Markov Decision Process (MDP) derived from the NdRFT. A software framework is proposed in order to perform in automatic way the derivation of an MDP from a NdRFT model, and to deal with the solution of the MDP.
BibTeX:
@misc{BECCUTIMARCO2008,
  author = {BECCUTI MARCO, and FRANCESCHINIS Giuliana Annamaria, and CODETTA RAITERI Daniele, and HADDAD S.,},
  title = {Non deterministic Repairable Fault Trees for computing optimal repair strategy},
  booktitle = {Technical Report, Dipartimento di Informatica, Università del Piemonte Orientale},
  year = {2008},
  volume = {TR-INF-2008-07-05-UNIPMN},
  note = {Altro},
  url = {http://www.di.unipmn.it/index.php/en/publications-en/technical-reports-en.html?pubid=88}
}
DONATELLI S, CHIARADONNA S, CODETTA RAITERI Daniele, DI GIANDOMENICO F, FRANCESCHINIS Giuliana Annamaria, GRIBAUDO Marco, KAÂNICHE M, LOLLINI P, ROMANI F and SPROSTON J. (2008), "List of requirements on formalisms and selection of appropriate tools (CRUTIAL Project Deliverable)".
Abstract: This deliverable reports on the activities for the set-up of the modelling environments for the evaluation activities of WP5. To this objective, it reports on the identified modelling peculiarities of the electric power infrastructure and the information infrastructures and of their interdependencies, recalls the tools that have been considered and concentrates on the tools that are, and will be, used in the project: DrawNET, DEEM and EPSys which have been developed before and during the project by the partners, and Möbius and PRISM, developed respectively at the University of Illinois at Urbana Champaign and at the University of Birmingham (and recently at the University of Oxford).
BibTeX:
@misc{DONATELLIS2008,
  author = {DONATELLI S, and CHIARADONNA S, and CODETTA RAITERI Daniele, and DI GIANDOMENICO F, and FRANCESCHINIS Giuliana Annamaria, and GRIBAUDO Marco, and KAÂNICHE M, and LOLLINI P, and ROMANI F, and SPROSTON J.,},
  title = {List of requirements on formalisms and selection of appropriate tools},
  booktitle = {Deliverable, CRUTIAL Project},
  year = {2008},
  volume = {D11},
  note = {Altro},
  url = {http://crutial.rse-web.it/Dissemination/DELIVERABLES-OF-THE-PROJECT.asp}
}
BECCUTI M., CODETTA RAITERI D., FRANCESCHINIS G. and HADDAD S. (2007), "A framework to design and solve Markov Decision Well-formed Net models", In Proceedings of the 4th International Conference on Quantitative Evaluation of Systems., September 2007, 2007. , pp. 165-166. IEEE Computer Society.
Abstract: The Markov decision process (MDP) (M.L. Puterman, 2005) formalism is widely used for modeling systems which exhibit both non deterministic and probabilistic behaviors (e.g. distributed systems, resource management systems, ...). Unfortunately, if the system is particularly complex then its modeling at the MDP level may be very hard; so in (M. Beccuti et al., 2007) a higher-level formalism called Markov decision well-formed net (MDWN) was proposed. The MDWN allows to describe the system in terms of its components and their interactions, while the MDP describes directly the state space and the state transitions. The MDWN model is more compact and readable: in particular, it is possible to define a complex non deterministic or probabilistic behavior as a composition of simpler non deterministic or probabilistic steps. In the MDWN formalism, the probabilistic behavior of the system is clearly distinct from the non deterministic one; actually they are designed as two separate Petri nets (PN): the probabilistic PN (N^pr) and the non deterministic PN (N^nd).
BibTeX:
@inproceedings{BECCUTI2007,
  author = {BECCUTI M., and CODETTA RAITERI D., and FRANCESCHINIS G., and HADDAD S.,},
  title = {A framework to design and solve Markov Decision Well-formed Net models},
  booktitle = {Proceedings of the 4th International Conference on Quantitative Evaluation of Systems},
  publisher = {IEEE Computer Society},
  year = {2007},
  pages = {165-166},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/QEST.2007.32}
}
BECCUTI M, FRANCESCHINIS Giuliana Annamaria and HADDAD S. (2007), "Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms", In ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency. Berlin Heidelberg -, June 2007, 2007. Vol. LNCS 4546, pp. 43-62. Springer-Verlag.
Abstract: In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distributed systems with probabilistic and non deterministic features: these formalisms allow a high level representation of Markov Decision Processes. The main advantages of both formalisms are: a macroscopic point of view of the alternation between the probabilistic and the non deterministic behaviour of the system and a syntactical way to define the switch between the two behaviours. Furthermore, MDWNs enable the modeller to specify in a concise way similar components. We have also adapted the technique of the symbolic reachability graph, originally designed for Well-formed Nets, producing a reduced Markov decision process w.r.t. the original one, on which the analysis may be performed more efficiently. Our new formalisms and analysis methods are already implemented and partially integrated in the GreatSPN tool, so we also describe some experimental results.
BibTeX:
@inproceedings{BECCUTIM2007,
  author = {BECCUTI M, and FRANCESCHINIS Giuliana Annamaria, and HADDAD S.,},
  editor = {Jetty Kleijn Alex Yakovlev,},
  title = {Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms},
  booktitle = {ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency},
  publisher = {Springer-Verlag},
  year = {2007},
  volume = {LNCS 4546},
  pages = {43-62},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-540-73094-1_6}
}
G. Franceschinis and D. Porporato Eds. (2007), "Modelli e tecnologie della formazione in rete" VERCELLI - ITA Edizioni Mercurio.
Abstract: Il volume Modelli e tecnologie della formazione in rete, raccoglie gli atti di due iniziative scientifiche promosse dall'Università degli Studi del Piemonte Orientale ‘Amedeo Avogadro’. La prima dal titolo ‘La formazione in rete. Modelli operativi e accessibilità’, è stata organizzata dal Dipartimento di Studi Umanistici e si è tenuta a Vercelli nell'ottobre 2004; la seconda denominata ‘Moodlemoot Italia 2006’ è stata proposta dal Dipartimento di Informatica e si è svolta nel mese di aprile del 2006 ad Alessandria presso la sede della Facoltà di Facoltà di Scienze Matematiche, Fisiche e Naturali. I saggi qui pubblicati rappresentano l’esito delle due iniziative nelle quali sono stati affrontati temi scientifici di notevole interesse e attualità. Senza alcuna presunzione di esaustività, le relazioni presentate nei due incontri, da una parte hanno contribuito a definire le differenti metodologie didattiche proprie del nuovo paradigma formativo, dall'altra hanno fornito utili indicazioni sulle tecnologie informatiche adottate dalla formazione in rete.
BibTeX:
@book{FRANCESCHINIS2007,,
  editor = {G. FRANCESCHINIS, and D. PORPORATO,},
  title = {Modelli e tecnologie della formazione in rete},
  publisher = {Edizioni Mercurio},
  year = {2007},
  note = {Curatela}
}
KAÂNICHE M, BERNARDI S, BOBBIO A, BRASCA C, CHIARADONNA S, CODETTA RAITERI D, DI GIANDOMENICO F, DONDOSSOLA G, FRANCESCHINIS G, GARRONE F, HORVATH A, KANOUN K, LAPRIE JC, LOLLINI P and SPROSTON J (2007), "Methodologies synthesis (CRUTIAL Project Deliverable)".
Abstract: This deliverable deals with the modelling and analysis of interdependencies between critical infrastructures, focussing attention on two interdependent infrastructures studied in the context of CRUTIAL: the electric power infrastructure and the information infrastructures
supporting management, control and maintenance functionality. The main objectives are: 1) investigate the main challenges to be addressed for the analysis and modelling of interdependencies, 2) review the modelling methodologies and tools that can be used to address these challenges and support the evaluation of the impact of interdependencies on the dependability and resilience of the service delivered to the users, and 3) present the preliminary directions investigated so far by the CRUTIAL consortium for describing and modelling interdependencies.
BibTeX:
@misc{KAANICHEM2007,
  author = {KAÂNICHE M, and BERNARDI S, and BOBBIO A, and BRASCA C, and CHIARADONNA S, and CODETTA RAITERI D, and DI GIANDOMENICO F, and DONDOSSOLA G, and FRANCESCHINIS G, and GARRONE F, and HORVATH A, and KANOUN K, and LAPRIE JC, and LOLLINI P, and SPROSTON J,},
  title = {Methodologies synthesis},
  year = {2007},
  volume = {D3},
  note = {Altro},
  url = {http://crutial.rse-web.it/Dissemination/DELIVERABLES-OF-THE-PROJECT.asp}
}
F. LA MURA, G. FRANCESCHINIS and DELLA CORTE F (2007), "Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine", TECHNOLOGY AND HEALTH CARE. Vol. 15, pp. 335-336.
BibTeX:
@article{LAMURA2007,
  author = {F. LA MURA, and G. FRANCESCHINIS, and DELLA CORTE F,},
  title = {Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine},
  journal = {TECHNOLOGY AND HEALTH CARE},
  year = {2007},
  volume = {15},
  pages = {335-336},
  note = {Articolo in rivista}
}
La Mura F, DELLA CORTE Francesco, Gribaudo M, Tosi B, Alciati S, Bordino R and FRANCESCHINIS Giuliana Annamaria (2007), "Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator", In Proceedings of the International Conference on Information Visualisation IV 2007., July 2011, 2007. , pp. 892-898. IEEE Computer Society Press.
Abstract: The virtual reality simulator used in the e-DISTRICT CiPro Pilot-Project, in the context of the EUprogramme Leonardo da Vinci II, allows the realization of an Internet based Collaborative Virtual Environment and it can be used for Education and Training for Civil Protection Operators, and for Research purposes in new operational protocols and their effectiveness (which would be very expensive in case of real drills, and also very difficult to organize). In this article we focus on the goals of the e- District CiPro Project, and we present the virtual reality simulator. We also address the importance of the detail level of the scenarios and we consider their customization and their integration with other software that simulates the phase of treatment in hospital.
BibTeX:
@inproceedings{LMF2007,
  author = {La Mura F, and DELLA CORTE Francesco, and Gribaudo M, and Tosi B, and Alciati S, and Bordino R, and FRANCESCHINIS Giuliana Annamaria,},
  title = {Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator},
  booktitle = {Proceedings of the International Conference on Information Visualisation IV 2007},
  publisher = {IEEE Computer Society Press},
  year = {2007},
  pages = {892-898},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/IV.2007.34}
}
BECCUTI M, BAARIR S, FRANCESCHINIS Giuliana Annamaria and ILIE' J. M. (2006), "Efficient lumpability check in partially symmetric systems", In Proc. of the 3rd International Conference on Quantitative Evaluation of Systems., September 2006, 2006. , pp. 211-220. IEEE.
Abstract: State space based performance analysis of stochastic models may be impaired by the state space explosion but such problem can be mitigated in symmetrical behaving systems by aggregating equivalent states and transitions. An effective way of exploiting symmetries when the system is modeled using the stochastic well-formed net (SWN) formalism, is to generate the symbolic reachability graph (SRG) and automatically derive a lumped continuous time Markov chain (CTMC) of the same size as the SRG from it. For partially symmetric systems, the extended SRG (ESRG) can be used instead, but the derivation of a lumped CTMC in this case is not as direct as in the SRG case: in fact the ESRG structure might need a refinement to satisfy the lumpability conditions. In this paper a new efficient algorithm to derive a lumped CTMC from the ESRG is presented, and the results obtained by experimenting its implementation within the GreatSPN environment are discussed. The algorithm combines the Paige and Tarjan's partition refinement algorithm (extended to work with weighted arcs) and a previously proposed lumpability check algorithm (built specifically for the use with the ESRG) and outperforms both of them. The implementation of the algorithm within the GreatSPN environment would allow the several users that have chosen this package to apply the proposed technique.
BibTeX:
@inproceedings{BECCUTIM2006,
  author = {BECCUTI M, and BAARIR S, and FRANCESCHINIS Giuliana Annamaria, and ILIE' J. M.,},
  title = {Efficient lumpability check in partially symmetric systems},
  booktitle = {Proc. of the 3rd International Conference on Quantitative Evaluation of Systems},
  publisher = {IEEE},
  year = {2006},
  pages = {211-220},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/QEST.2006.17}
}
Codetta Raiteri D., Franceschinis G. and Gribaudo M. (2006), "Defining formalisms and models in the Draw-Net Modeling System", In Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA). Hamburg -, 26-6-2006, 2006. Vol. -, pp. 123-144. University of Hamburg.
Abstract: This paper presents the Draw-Net Modeling System (DMS), a framework for the design and the solution of models expressed in any (graph based) formalism, including the possiblity of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In this paper, the general open architecture of the DMS framework and the formal specification of th Data Definition Language (DDL) are introduced. A running example of multi-formalism model is used to illustrate the main concepts of the framework.
BibTeX:
@inproceedings{CodettaRaiteri2006,
  author = {Codetta Raiteri D., and Franceschinis G., and Gribaudo M.,},
  title = {Defining formalisms and models in the Draw-Net Modeling System},
  booktitle = {Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA)},
  publisher = {University of Hamburg},
  year = {2006},
  volume = {-},
  pages = {123-144},
  note = {Contributo in Atti di convegno}
}
GRIBAUDO Marco, CODETTA RAITERI Daniele and FRANCESCHINIS Giuliana Annamaria (2006), "The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models".
BibTeX:
@misc{GRIBAUDOMarco2006,
  author = {GRIBAUDO Marco, and CODETTA RAITERI Daniele, and FRANCESCHINIS Giuliana Annamaria,},
  title = {The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models},
  booktitle = {Technical Report, Dipartimento di Informatica, Università del Piemonte Orientale},
  year = {2006},
  volume = {TR-INF-2006-01-01-UNIPMN},
  note = {Altro},
  url = {http://www.di.unipmn.it/index.php/en/publications-en/technical-reports-en.html?pubid=31}
}
BOBBIO A., CODETTA RAITERI D., DE PIERRO M. and FRANCESCHINIS G. (2005), "Efficient Analysis Algorithms for Parametric Fault Trees", In Proceedings of the Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems., Settembre 2005, 2005. , pp. 91-105. IEEE Computer Society.
Abstract: The Fault Tree (FT) is a widespread model for the dependability (reliability) analysis. One of its several extensions is called Parametric Fault Tree (PFT) and is oriented to redundant systems providing a compact (parametric) way to model replicated components or subsystems. This paper presents the PFT solution method based on a new form of Binary Decision Diagrams (BDD), called Parametric BDD (pBDD). Such method exploits the parametric form combined with the advantages of the use of BDDs. pBDDs are used for both the qualitative and the quantitative analysis of PFTs. A case of redundant system supports the introduction and the application of the new method.
BibTeX:
@inproceedings{BOBBIO2005,
  author = {BOBBIO A., and CODETTA RAITERI D., and DE PIERRO M., and FRANCESCHINIS G.,},
  title = {Efficient Analysis Algorithms for Parametric Fault Trees},
  booktitle = {Proceedings of the Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems},
  publisher = {IEEE Computer Society},
  year = {2005},
  pages = {91-105},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/FIRB-PERF.2005.9}
}
BOBBIO A., CODETTA-RAITERI D., DE PIERRO M. and FRANCESCHINIS G (2005), "System Level Dependability Analysis", In System-level Test and Validation of Hardware/Software Systems. LONDON - Vol. 17, pp. 151-174. Springer Verlag.
Abstract: The focus of this work is on the dependability analysis of safety or mission-critical systems; in particular, we concentrate on the control subsystem, which is made up of several components. We assume that the components, which may be designed with the support of hardware—software codesign tools, are characterized by dependability (e.g. failure rate) parameters, which may derive from simulators of the components while they are under development, or as a result of testing (possibly combined with fault injection techniques). By using combinatorial and state-space-based techniques it is possible to derive the reliability of the whole system as a function of the system configuration and of the component parameters values, and to identify the criticality of a given component or subset of components. The analysis is performed by applying Fault Tree Analysis (FTA) techniques enhanced with recently introduced features that allow one to remove the components’ independence assumptions imposed by classical FTA, and to include the possibility of component as well as subsystem repair.
BibTeX:
@inbook{BOBBIO2005a,
  author = {BOBBIO A., and CODETTA-RAITERI D., and DE PIERRO M., and FRANCESCHINIS G,},
  editor = {Matteo Sonza Reorda Zebo Peng Massimo Violante,},
  title = {System Level Dependability Analysis},
  booktitle = {System-level Test and Validation of Hardware/Software Systems},
  publisher = {Springer Verlag},
  year = {2005},
  volume = {17},
  pages = {151-174},
  note = {Contributo in volume (Capitolo o Saggio)},
  doi = {10.1007/1-84628-145-8_9}
}
CAPRA L., DE PIERRO M. and FRANCESCHINIS Giuliana Annamaria (2005), "A High Level Language for Structural Relations in Stochastic Well-formed Nets", In Applications and Theory of Petri Nets 2005. Berlin Heidelberg -, June 2005, 2005. Vol. 3536, pp. 168-187. Springer-Verlag.
Abstract: Well-formed Nets (WN) structural analysis techniques allow to study interesting system properties without requiring the state space generation. In order to avoid the net unfolding, which would reduce significantly the effectiveness of the analysis, a symbolic calculus allowing to directly work on the WN colour structure is needed. The algorithms for high level Petri nets structural analysis most often require a common subset of operators on symbols annotating the net elements, in particular the arc functions. These operators are the function difference, the function transpose and the function composition. This paper focuses on the first two, it introduces a language to denote structural relations in WN and proves that it is actually closed under the difference and transpose.
BibTeX:
@inproceedings{CAPRA2005,
  author = {CAPRA L., and DE PIERRO M., and FRANCESCHINIS Giuliana Annamaria,},
  editor = {Ciardo G Darondeau P,},
  title = {A High Level Language for Structural Relations in Stochastic Well-formed Nets},
  booktitle = {Applications and Theory of Petri Nets 2005},
  publisher = {Springer-Verlag},
  year = {2005},
  volume = {3536},
  pages = {168-187},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/11494744_11}
}
FRANCESCHINIS Giuliana Annamaria (2005), "Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets", In APPLICATIONS AND THEORY OF PETRI NETS 2005. Berlin Heidelberg -, June 2005, 2005. Vol. 3536, pp. 1-14. Springer-Verlag.
Abstract: This paper is a survey of the Stochastic Well-formed Net (SWN) formalism evolution, in particular it discusses the expressiveness of the formalism in terms of ease of use from the modeler point of view, and briefly presents the main results that can be found in the literature about efficient (state space based) analysis of SWN models. Software tools supporting SWN design and analysis are also mentioned in the paper. The goal of the paper is not to present in details the formalism nor the analysis algorithms, but rather to recall the achieved results and to highlight open problems and possible directions for new developments in this research area.
BibTeX:
@inproceedings{FGA2005,
  author = {FRANCESCHINIS Giuliana Annamaria,},
  title = {Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets},
  booktitle = {APPLICATIONS AND THEORY OF PETRI NETS 2005},
  publisher = {Springer-Verlag},
  year = {2005},
  volume = {3536},
  pages = {1-14},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/11494744_1}
}
GRIBAUDO M, CODETTA RAITERI D and FRANCESCHINIS G (2005), "Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems", In Proc. of the 2nd International Conference on Quantitative Evaluation of Systems (QEST05), Torino, Italy, September 2005., September 2005, 2005. , pp. 257-258. IEEE Computer Society.
BibTeX:
@inproceedings{GRIBAUDOM2005,
  author = {GRIBAUDO M, and CODETTA RAITERI D, and FRANCESCHINIS G,},
  title = {Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems},
  booktitle = {Proc. of the 2nd International Conference on Quantitative Evaluation of Systems (QEST05), Torino, Italy, September 2005},
  publisher = {IEEE Computer Society},
  year = {2005},
  pages = {257-258},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/QEST.2005.10}
}
BALLARINI P., CAPRA L. and FRANCESCHINIS Giuliana Annamaria (2004), "Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets", In 19th International Symposium on Computer and Information Sciences - ISCIS 2004. Berlin Heidelberg -, October 2004, 2004. Vol. 3280, pp. 553-563. Springer.
Abstract: This paper presents a performance and dependability study of a software fault-tolerant memory mechanism, namely the Distributed Memory (DM), which has been developed within a R&D European project. Relying on the UML specification (produced within the project), Stochastic Well-Formed Nets models of the DM are developed and analysed. Combinatorial methods are used in conjunction with state space based methods to study the impact of the mechanism configuration on its reliability and performance.
BibTeX:
@inproceedings{BALLARINI2004,
  author = {BALLARINI P., and CAPRA L., and FRANCESCHINIS Giuliana Annamaria,},
  title = {Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets},
  booktitle = {19th International Symposium on Computer and Information Sciences - ISCIS 2004},
  publisher = {Springer},
  year = {2004},
  volume = {3280},
  pages = {553-563},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-540-30182-0_56}
}
CAPRA L., DE PIERRO M. and FRANCESCHINIS Giuliana Annamaria (2004), "An application example of symbolic calculus for SWN structural relations", In Proceedings of 7th IFAC Workshop on Discrete event systems 2004 (WODES'04)., Settembre 2004, 2004. , pp. 225-230. Elsevier Ltd.
Abstract: Structural analysis techniques allow system properties to be efficiently verified, and may significantly improve the effectiveness of state-space based analysis.
Symbolic approaches have been proposed to extend in an effective way structural analysis results from ordinary Petri nets to high level Petri nets (e.g. Unary Regular nets). In the paper some salient points of a symbolic calculus of Stochastic Well-formed Nets structural relations are presented using an example.
BibTeX:
@inproceedings{CAPRA2004,
  author = {CAPRA L., and DE PIERRO M., and FRANCESCHINIS Giuliana Annamaria,},
  editor = {J. Zaytoon V. Carré-Ménétrier C. Cassandras X. Cao,},
  title = {An application example of symbolic calculus for SWN structural relations},
  booktitle = {Proceedings of 7th IFAC Workshop on Discrete event systems 2004 (WODES'04)},
  publisher = {Elsevier Ltd},
  year = {2004},
  pages = {225-230},
  note = {Contributo in Atti di convegno}
}
CODETTA RAITERI D., FRANCESCHINIS G., IACONO M. and VITTORINI V. (2004), "Repairable Fault Tree for the automatic evaluation of repair policies", In Proceedings of the International Conference on Dependable Systems and Networks., June 2004, 2004. , pp. 659-668. IEEE Computer Society.
Abstract: Fault trees are a well known mean for the evaluation of dependability of complex systems. Many extensions have been proposed to the original formalism in order to enhance the advantages of fault tree analysis for the design and assessment of systems. In this paper we propose an extension, repairable fault trees, which allows the designer to evaluate the effects of different repair policies on a repairable system: this extended formalism has been integrated in a multi-formalism multi-solution framework, and it is supported by a solution technique which transparently exploits generalized stochastic Petri nets (GSPN)for modelling the repairing process. The modelling technique and the solution process are illustrated through an example.
BibTeX:
@inproceedings{CODETTARAITERI2004,
  author = {CODETTA RAITERI D., and FRANCESCHINIS G., and IACONO M., and VITTORINI V.,},
  title = {Repairable Fault Tree for the automatic evaluation of repair policies},
  booktitle = {Proceedings of the International Conference on Dependable Systems and Networks},
  publisher = {IEEE Computer Society},
  year = {2004},
  pages = {659-668},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/DSN.2004.1311936}
}
FRANCESCHINIS Giuliana Annamaria, GRIBAUDO M., IACONO M., MARRONE S., MAZZOCCA N. and VITTORINI V. (2004), "Compositional modeling of complex systems: contact center scenarios in OsMoSys", In Proceedings of the 25th International Conference on Application and Theory of Petri Nets, ICATPN 2004. Berlin Heidelberg -, June 21–25, 2004., 2004. Vol. 3099, pp. 177-196. Springer.
Abstract: In this paper we present the application of a compositional modeling methodology to the re-engineering of Stochastic Well Formed net (SWN) models of a contact center. The modeling methodology is based on the definition of proper operators to connect submodels and it is supported by the OsMoSys modeling framework. The paper describes the implementation of a library of reusable SWN submodels of the contact center components and the definition of proper SWN connectors to easily develop models of different configurations of the system. We also describe the solving process of the composed models and its integration in the OsMoSys framework. Moreover, we discuss the advantages that this approach, based on the definition of classes and instances of submodels, can provide to the application of SWN to complex case studies.
BibTeX:
@inproceedings{FGA2004,
  author = {FRANCESCHINIS Giuliana Annamaria, and GRIBAUDO M., and IACONO M., and MARRONE S., and MAZZOCCA N., and VITTORINI V.,},
  editor = {Cortadella J. Reisig W.,},
  title = {Compositional modeling of complex systems: contact center scenarios in OsMoSys},
  booktitle = {Proceedings of the 25th International Conference on Application and Theory of Petri Nets, ICATPN 2004},
  publisher = {Springer},
  year = {2004},
  volume = {3099},
  pages = {177-196},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/978-3-540-27793-4_11}
}
LAZZARATO F., FRANCESCHINIS Giuliana Annamaria, BOTTA M and CALOGERO R. (2004), "RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes", BIOINFORMATICS. Vol. 20, pp. 2848-2850.
Abstract: RRE allows the extraction of non-coding regions surrounding a coding sequence [i.e. gene upstream region, 5′-untranslated region (5′-UTR), introns, 3′-UTR, downstream region] from annotated genomic datasets available at NCBI.
BibTeX:
@article{LAZZARATO2004,
  author = {LAZZARATO F., and FRANCESCHINIS Giuliana Annamaria, and BOTTA M. AND CALOGERO R.,},
  title = {RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes},
  journal = {BIOINFORMATICS},
  year = {2004},
  volume = {20},
  pages = {2848-2850},
  note = {Articolo in rivista},
  url = {http://bioinformatics.oxfordjournals.org/content/20/16/2848.full.pdf+html},
  doi = {10.1093/bioinformatics/bth287}
}
V.VITTORINI, M. IACONO, N. MAZZOCCA and FRANCESCHINIS G (2004), "The Osmosys approach to multi-formalism modeling of systems", SOFTWARE AND SYSTEMS MODELING. Vol. 3, pp. 68-81.
BibTeX:
@article{V.VITTORINI2004,
  author = {V.VITTORINI, and M. IACONO, and N. MAZZOCCA, and FRANCESCHINIS G,},
  title = {The Osmosys approach to multi-formalism modeling of systems},
  journal = {SOFTWARE AND SYSTEMS MODELING},
  year = {2004},
  volume = {3},
  pages = {68-81},
  note = {Articolo in rivista},
  doi = {10.1007/s10270-003-0039-5}
}
P. BALLARINI, L. CAPRA, M. DE PIERRO and FRANCESCHINIS Giuliana Annamaria (2003), "Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models", In Third International Conference on Application of Concurrency to System Design (ACSD'03)., Giugno 2003, 2003. IEEE.
Abstract: We present a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the European projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. We show a method for the compositional construction of models of the DM and of the environment in which it operates, expressed in the stochastic well formed nets (SWN) formalism. Different versions of submodels, at different detail level are presented and compared using some behaviour inheritance notions taken from the literature.
BibTeX:
@inproceedings{BALLARINI2003,
  author = {P. BALLARINI, and L. CAPRA, and M. DE PIERRO, and FRANCESCHINIS Giuliana Annamaria,},
  title = {Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models},
  booktitle = {Third International Conference on Application of Concurrency to System Design (ACSD'03)},
  publisher = {IEEE},
  year = {2003},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/CSD.2003.1207705}
}
BOBBIO Andrea, E. CIANCAMERLA, FRANCESCHINIS Giuliana Annamaria, R. GAETA, M. MINICHINO and PORTINALE Luigi (2003), "Sequential application of heterogeneous models for the safety analysis of a control system: a case study", RELIABILITY ENGINEERING & SYSTEM SAFETY. Vol. 81, pp. 269-280.
Abstract: This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of
a digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming two-state components and independent
failures. Then, the FT is automatically converted into a Bayesian Network, allowing to include more modelling details and localized
dependencies. Finally, in order to accommodate repair activities and perform an availability analysis, the FT is converted into a Stochastic
Petri Net (SPN). Moving from a combinatorial model (the FT) to a state space based model (the SPN) increases the modelling flexibility,
but incurs into the state space explosion problem. In order to alleviate the state space explosion problem, this paper resorts to the use of a
particular type of high level (coloured) Petri nets called SWN. A digital control system is considered as a case study, and safety measures
have been evaluated, referring to the emergent standard IEC 61508.
BibTeX:
@article{BOBBIOAndrea2003,
  author = {BOBBIO Andrea, and E. CIANCAMERLA, and FRANCESCHINIS Giuliana Annamaria, and R. GAETA, and M. MINICHINO, and PORTINALE Luigi,},
  title = {Sequential application of heterogeneous models for the safety analysis of a control system: a case study},
  journal = {RELIABILITY ENGINEERING & SYSTEM SAFETY},
  year = {2003},
  volume = {81},
  pages = {269-280},
  note = {Articolo in rivista}
}
BOBBIO Andrea, FRANCESCHINIS Giuliana Annamaria, GAETA R. and PORTINALE Luigi (2003), "Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. Vol. 29, pp. 270-287.
Abstract: In order to cope efficiently with the dependability analysis of redundant systems with replicated units, a new, more compact
fault-tree formalism, called Parametric Fault Tree (PFT), is defined. In a PFT formalism, replicated units are folded and indexed so that
only one representative of the similar replicas is included in the model. From the PFT, a list of parametric cut sets can be derived,
where only the relevant patterns leading to the system failure are evidenced regardless of the actual identity of the component in the
cut set. The paper provides an algorithm to convert a PFT into a class of High-Level Petri Nets, called SWN. The purpose of this
conversion is twofold: to exploit the modeling power and flexibility of the SWN formalism, allowing the analyst to include statistical
dependencies that could not have been accommodated into the corresponding PFT and to exploit the capability of the SWN formalism
to generate a lumped Markov chain, thus alleviating the state explosion problem. The search for the minimal cut sets (qualitative
analysis) can be often performed by a structural T-invariant analysis on the generated SWN. The advantages that can be obtained
from the translation of a PFT into a SWN are investigated considering a fault-tolerant multiprocessor system example.
BibTeX:
@article{BOBBIOAndrea2003a,
  author = {BOBBIO Andrea, and FRANCESCHINIS Giuliana Annamaria, and GAETA R., and PORTINALE Luigi,},
  title = {Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics},
  journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
  year = {2003},
  volume = {29},
  pages = {270-287},
  note = {Articolo in rivista}
}
FRANCESCHINIS Giuliana Annamaria, V. . VITTORINI, S. MARRONE and N. MAZZOCCA (2003), "SWN Client-server composition operators in the OsMoSys framework", In Proceedings of the 10th International Workshop on Petri Net and Performance Models., Settembre 2003, 2003. , pp. 52-61. IEEE.
BibTeX:
@inproceedings{FGA2003,
  author = {FRANCESCHINIS Giuliana Annamaria, and V. . VITTORINI, and S. MARRONE, and N. MAZZOCCA,},
  title = {SWN Client-server composition operators in the OsMoSys framework},
  booktitle = {Proceedings of the 10th International Workshop on Petri Net and Performance Models},
  publisher = {IEEE},
  year = {2003},
  pages = {52-61},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/PNPM.2003.1231542}
}
E. TERUEL, FRANCESCHINIS Giuliana Annamaria and M. DE PIERRO (2003), "Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. Vol. 29, pp. 962-973.
Abstract: Generalized stochastic Petri nets (GSPN), with immediate transitions, are extensively used to model concurrent systems in a wide range of application domains, particularly including software and hardware aspects of computer systems, and their interactions. These models are typically used for system specification, logical and performance analysis, or automatic code generation. In order to keep modeling separate from the analysis and to gain in efficiency and robustness of the modeling process, the complete specification of the stochastic process underlying a model should be guaranteed at the net level, without requiring the generation and exploration of the state space. In this paper, we propose a net-level method that guides the modeler in the task of defining the priorities (and weights) of immediate transitions in a GSPN model, to deal with confusion and conflict problems. The application of this method ensures well-definition without reducing modeling flexibility or expressiveness.
BibTeX:
@article{TERUEL2003,
  author = {E. TERUEL, and FRANCESCHINIS Giuliana Annamaria, and M. DE PIERRO,},
  title = {Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities},
  journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
  year = {2003},
  volume = {29},
  pages = {962-973},
  note = {Articolo in rivista},
  doi = {10.1109/TSE.2003.1245298}
}
BOBBIO A, CIANCAMERLA E, FRANCESCHINIS G, GAETA R, MINICHINO M and PORTINALE L (2002), "Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System", In Computer Safety, Reliability and Security., September 10–13, 2002, 2002. Vol. 2434, pp. 212-223. Springer.
Abstract: The paper describes a probabilistic approach based on methods of increasing modelling power and different analytical tractability, to analyse safety of turbine digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming independent failures and binary states of its components. To include multi-states and sequentially dependent failures of the system components and to perform diagnoses, FT has been converted into a Bayesian Net. Moreover, to accommodate repair activity, FT has been converted into a Stochastic Petri Net. Due to the very large space of states of the resulting model, a coloured Petri Net model have been built to alleviate the state explosion problem. Safety measures have been computed, referring to the emergent standard IEC 61508. The applicability, the limits and the main selection criteria of the investigated methods are provided.
BibTeX:
@inproceedings{BOBBIOA2002,
  author = {BOBBIO A, and CIANCAMERLA E, and FRANCESCHINIS G, and GAETA R, and MINICHINO M, and PORTINALE L,},
  title = {Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System},
  booktitle = {Computer Safety, Reliability and Security},
  publisher = {Springer},
  year = {2002},
  volume = {2434},
  pages = {212-223},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/3-540-45732-1_21}
}
L. GOLUBCIK, J.C.S. LUI, T.F. TUNG, A.L. CHOW, W.J. LEE, G. FRANCESCHINS, ANGLANO C. and Franceschinis G.A. (2002), "Multi-path continuous media streaming: what are the benefits?", PERFORMANCE EVALUATION. Vol. 49, pp. 429-449.
Abstract: Quality of service (QoS) in delivery of continuous media (CM) over the Internet is still relatively poor and inconsistent. Although many such applications can tolerate some degree of missing information, significant losses degrade an application's QoS. In this paper, we investigate the potential benefits of mitigating this problem through the exploitation of multiple paths existing in the network between a set of senders and a receiver of CM. Our focus in this work is on providing a fundamental understanding of the benefits of using multiple paths to deliver CM over best-effort wide-area networks. Specifically, we consider pre-recorded CM applications and use the following metrics in evaluating the performance of multi-path streaming as compared to single-path streaming: (a) data loss rate, (b) conditional error burst length distribution, and (c) lag1-autocorrelation. The results of this work can be used in guiding the design of multi-path CM systems streaming data over best-effort wide-area networks.
BibTeX:
@article{GOLUBCIK2002,
  author = {L. GOLUBCIK, and J.C.S. LUI, and T.F. TUNG, and A.L. CHOW, and W.J. LEE, and G. FRANCESCHINS, and ANGLANO C., and Franceschinis G.A.,},
  title = {Multi-path continuous media streaming: what are the benefits?},
  journal = {PERFORMANCE EVALUATION},
  year = {2002},
  volume = {49},
  pages = {429-449},
  note = {Articolo in rivista},
  doi = {10.1016/S0166-5316(02)00125-6}
}
M. SONZA REORDA, M. VIOLANTE, N. MAZZOCCA, S. VENTICINQUE, FRANCESCHINIS Giuliana Annamaria and BOBBIO Andrea (2002), "A Hierarchical Approach for Designing Dependable Systems", In Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.., Ottobre 2002, 2002. , pp. 63-68. IEEE.
Abstract: New constraints, such as the need for reducing the cost and the time-to-market, are forcing designers of safety-critical systems to exploit commercial-off-the-shelf (COTS) components. To effectively deal with the specification and evaluation of such a kind of systems new design methodologies are required. We propose a new approach where COTS components building a safety critical system are first characterized through a detailed analysis process. The extracted information can then be exploited by a high-level analysis environment that allows evaluating a whole system with good accuracy and high efficiency.
BibTeX:
@inproceedings{SONZAREORDA2002,
  author = {M. SONZA REORDA, and M. VIOLANTE, and N. MAZZOCCA, and S. VENTICINQUE, and FRANCESCHINIS Giuliana Annamaria, and BOBBIO Andrea,},
  title = {A Hierarchical Approach for Designing Dependable Systems},
  booktitle = {Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.},
  publisher = {IEEE},
  year = {2002},
  pages = {63-68},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/HLDVT.2002.1224430}
}
VITTORINI V., FRANCESCHINIS Giuliana Annamaria, GRIBAUDO M., IACONO M. and MAZZOCCA N. (2002), "DrawNet++: Model Objects to Support Performance Analysis and Simulation of Complex Systems", In Proceedings of the 12th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools. Vol. 2324, pp. 233-238. Springer.
Abstract: This paper describes DrawNET++, a prototype version of a model design framework based on the definition of model objects. DrawNET++ provides a graphical front-end to existing performance tools and a practical mean to study compositionality issues in multiformalism environments. The object oriented features of DrawNET++ provide a flexible architecture for structuring complex models.
BibTeX:
@inproceedings{VITTORINI2002,
  author = {VITTORINI V., and FRANCESCHINIS Giuliana Annamaria, and GRIBAUDO M., and IACONO M., and MAZZOCCA N.,},
  editor = {Tony Field Peter G. Harrison Jeremy Bradley Uli Harder,},
  title = {DrawNet++: Model Objects to Support Performance Analysis and Simulation of Complex Systems},
  booktitle = {Proceedings of the 12th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools},
  publisher = {Springer},
  year = {2002},
  volume = {2324},
  pages = {233-238},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/3-540-46029-2_18}
}
BOBBIO A., CIANCAMERLA E., FRANCESCHINIS G., GAETA R., MINICHINO M. and PORTINALE L. (2001), "Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller", In Proc. ESREL 2001, European Safety and Reliability International Conference., Settembre, 2001. , pp. 411-418. Politecnico di Torino.
Abstract: Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems.
The present paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508. In order to gain insight on the system characteristics and on the used methodologies, different probabilistic techniques of increasing modeling power (Fault Tree (FT), Bayesian Networks (BN), Generalized Stochastic and Stochastic Well formed Petri Nets (GSPN and SWN) have been compared.
BibTeX:
@inproceedings{BOBBIO2001,
  author = {BOBBIO A., and CIANCAMERLA E., and FRANCESCHINIS G., and GAETA R., and MINICHINO M., and PORTINALE L.,},
  title = {Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller},
  booktitle = {Proc. ESREL 2001, European Safety and Reliability International Conference},
  publisher = {Politecnico di Torino},
  year = {2001},
  pages = {411-418},
  note = {Contributo in Atti di convegno}
}
BOBBIO Andrea, FRANCESCHINIS Giuliana Annamaria, GAETA R and PORTINALE Luigi (2001), "Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net", In Proc. 9th International Conference on Petri Nets and Performance Models - PNPM01., 11-14 Settembre 2001, 2001. Vol. 9, pp. 29-38.
Abstract: The case-study presented in this paper is aimed at assessing
the dependability of a Programmable Logic Controller
(PLC) devoted to safety functions. This case study
has been brought to our attention by a national environmental
agency and has been partially abstracted and
anonymized to protect proprietary information. The PLC
consists of a triplicated channel with a (2 ; 3) majority voting
logic and is modeled by means of a recently proposed
extension of the classical Fault Tree (FT) formalism called
Parametric Fault Tree (PFT). In the PFT replicated units
are folded and Parameterized so that only one representative
of the various similar replicas is explicitly included in
the model. The quantitative analysis of the PFT assumes
s-independence among components and is based on combinatorial
formulas. In order to include dependencies both in
the failure and repair process, the PFT is directly converted
into a particular class of High Level Petri Nets, called SWN.
The paper illustrates the PFT formalism and the automatic
conversion algorithm from a PFT into a SWN. Moreovel; it
is shown how various kind of dependencies can be accommodated
in the obtained SWN model
BibTeX:
@inproceedings{BOBBIOAndrea2001,
  author = {BOBBIO Andrea, and FRANCESCHINIS Giuliana Annamaria, and GAETA R, and PORTINALE Luigi,},
  title = {Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net},
  booktitle = {Proc. 9th International Conference on Petri Nets and Performance Models - PNPM01},
  year = {2001},
  volume = {9},
  pages = {29-38},
  note = {Contributo in Atti di convegno}
}
FRANCESCHINIS Giuliana Annamaria, C. BERTONCELLO, G. BRUNO, G. LUNGO VASCHETTI and A. PIGOZZI (2001), "SWN models of a contact center: a case study", In Proceedings of 9th International Workshop on Petri Nets and Performance Models., 11-14 September 2001, 2001. , pp. 39-48. IEEE.
Abstract: In this paper, we describe the experience in modeling contact centers through stochastic well-formed net (SWN) models in an industry-driven project. The paper describes the problem and shows some of the questions that SWN models could answer, but it also highlights some limitations of the formalism and of the tools used for the analysis. It then discusses the work done to rationalize the model construction and analysis tasks, setting up a methodology and a library of reusable submodels to allow quick development of models of other systems in the same class. We also discuss the acceptance of the proposed approach in the company.
BibTeX:
@inproceedings{FGA2001,
  author = {FRANCESCHINIS Giuliana Annamaria, and C. BERTONCELLO, and G. BRUNO, and G. LUNGO VASCHETTI, and A. PIGOZZI,},
  title = {SWN models of a contact center: a case study},
  booktitle = {Proceedings of 9th International Workshop on Petri Nets and Performance Models},
  publisher = {IEEE},
  year = {2001},
  pages = {39-48},
  note = {Contributo in Atti di convegno},
  doi = {10.1109/PNPM.2001.953354}
}
BALLARINI P., DONATELLI S. and FRANCESCHINIS Giuliana Annamaria (2000), "Parametric Stochastic Well-Formed Nets and Compositional Modelling", In Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000. Berlin Heidelberg -, June 2-30, 2000, 2000. Vol. 1825, pp. 43-62. Springer.
Abstract: Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we discuss the issue of adding compositionality to a class of stochastic colored nets named Stochastic Well-formed Nets, in order to increase modularity and reuse of the modelling efforts. This requires the notion of Parametric Stochastic Well-formed net: nets in which a certain amount of information is left unspecified, and is instantiated only upon model composition. The choice of the compositional rule has been based on previous work on layered models for integrated hardware and software systems (the processes, services and resources methodology), and an example of layered modelling with Parametric Stochastic Well-formed net is presented to show the efficacy of the proposed formalism.
BibTeX:
@inproceedings{BALLARINI2000,
  author = {BALLARINI P., and DONATELLI S., and FRANCESCHINIS Giuliana Annamaria,},
  editor = {Nielsen M. Simpson D.,},
  title = {Parametric Stochastic Well-Formed Nets and Compositional Modelling},
  booktitle = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000},
  publisher = {Springer},
  year = {2000},
  volume = {1825},
  pages = {43-62},
  note = {Contributo in Atti di convegno},
  doi = {10.1007/3-540-44988-4_5}
}
L. Capra, C. Dutheillet, FRANCESCHINIS Giuliana Annamaria and J. M. Ilié (2000), "Exploiting Partial Symmetries for Markov Chain Aggregation", ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 39, pp. 231-257.
Abstract: The technique presented in this paper allows the automatic construction of a lumped Markov chain for almost symmetrical Stochastic Well-formed Net (SWN) models. The starting point is the Extended Symbolic Reachability Graph (ESRG), which is a reduced representation of a SWN model reachability graph (RG), based on the aggregation of states into classes. These classes may be used as aggregates for lumping the Continuous Time Markov Chain (CTMC) isomorphic to the model RG: however it is not always true that the lumpability condition is verified by this partition of states. In the paper we propose an algorithm that progressively refines the ESRG classes until a lumped Markov chain is obtained.
BibTeX:
@article{Capra2000,
  author = {L. Capra, and C. Dutheillet, and FRANCESCHINIS Giuliana Annamaria, and J. M. Ilié,},
  title = {Exploiting Partial Symmetries for Markov Chain Aggregation},
  journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
  year = {2000},
  volume = {39},
  pages = {231-257},
  note = {Articolo in rivista},
  doi = {10.1016/S1571-0661(05)80750-9}
}