loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Franco Cicirelli ; Christian Nigro and Libero Nigro

Affiliation: Università della Calabria, Italy

Keyword(s): Statistical Model Checking, UPPAAL, Generalized Stochastic Petri Nets, Structural Translation, Temporal Analysis.

Related Ontology Subjects/Areas/Topics: Computer Simulation Techniques ; Discrete-Event Simulation ; Formal Methods ; Performance Analysis ; Petri Nets ; Simulation and Modeling ; Simulation Tools and Platforms ; Stochastic Modeling and Simulation

Abstract: Generalized Stochastic Petri Nets (GSPN) are a well-known timed extension of Petri nets suited for modelling and performance analysis of general time-dependent concurrent systems. The work described in this paper develops an original structural translation of GSPN models onto UPPAAL SMC so as to enable property estimation through statistical model checking. The actual GSPN supported formal language admits, in general, tagged tokens carrying timestamps, queuing places, normal, transport and inhibitor arcs and timed and untimed transitions. This paper describes the proposed approach and demonstrates its practical usefulness through a case study.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.95.231.212

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Cicirelli, F.; Nigro, C. and Nigro, L. (2015). Statistical Model Checking of GSPN Models. In Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH; ISBN 978-989-758-120-5; ISSN 2184-2841, SciTePress, pages 69-76. DOI: 10.5220/0005506700690076

@conference{simultech15,
author={Franco Cicirelli. and Christian Nigro. and Libero Nigro.},
title={Statistical Model Checking of GSPN Models},
booktitle={Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH},
year={2015},
pages={69-76},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005506700690076},
isbn={978-989-758-120-5},
issn={2184-2841},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH
TI - Statistical Model Checking of GSPN Models
SN - 978-989-758-120-5
IS - 2184-2841
AU - Cicirelli, F.
AU - Nigro, C.
AU - Nigro, L.
PY - 2015
SP - 69
EP - 76
DO - 10.5220/0005506700690076
PB - SciTePress