{"id":"https://openalex.org/W2293894705","doi":"https://doi.org/10.5220/0005506700690076","title":"Statistical Model Checking of GSPN Models","display_name":"Statistical Model Checking of GSPN Models","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2293894705","doi":"https://doi.org/10.5220/0005506700690076","mag":"2293894705"},"language":"en","primary_location":{"id":"doi:10.5220/0005506700690076","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005506700690076","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0005506700690076","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070083527","display_name":"Franco Cicirelli","orcid":"https://orcid.org/0000-0002-6138-5739"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Franco Cicirelli","raw_affiliation_strings":["Universit\u00e0 della Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040995155","display_name":"Christian Nigro","orcid":null},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Christian Nigro","raw_affiliation_strings":["Universit\u00e0 della Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037490312","display_name":"Libero Nigro","orcid":"https://orcid.org/0000-0001-6577-4777"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Libero Nigro","raw_affiliation_strings":["Universit\u00e0 della Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5070083527"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":0.701,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75329511,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"69","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8650027513504028},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7627838850021362},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7487457394599915},{"id":"https://openalex.org/keywords/timestamp","display_name":"Timestamp","score":0.7324668169021606},{"id":"https://openalex.org/keywords/queueing-theory","display_name":"Queueing theory","score":0.6067963242530823},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5595704317092896},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5082806944847107},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4884618818759918},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4424739480018616},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43162980675697327},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3929620385169983},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3499489426612854}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8650027513504028},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7627838850021362},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7487457394599915},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.7324668169021606},{"id":"https://openalex.org/C22684755","wikidata":"https://www.wikidata.org/wiki/Q847526","display_name":"Queueing theory","level":2,"score":0.6067963242530823},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5595704317092896},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5082806944847107},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4884618818759918},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4424739480018616},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43162980675697327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3929620385169983},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3499489426612854},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0005506700690076","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005506700690076","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0005506700690076","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005506700690076","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1491709828","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W1980200158","https://openalex.org/W1513546254","https://openalex.org/W2091203523","https://openalex.org/W2125164140"],"abstract_inverted_index":{"Generalized":[0],"Stochastic":[1],"Petri":[2,11],"Nets":[3],"(GSPN)":[4],"are":[5],"a":[6,82],"well-known":[7],"timed":[8],"extension":[9],"of":[10,18,33],"nets":[12],"suited":[13],"for\r\n\r\nmodelling":[14],"and":[15,64,68,77],"performance":[16],"analysis":[17],"general":[19],"time-dependent":[20],"concurrent":[21],"systems.":[22],"The":[23,48],"work":[24],"described":[25],"in\r\n\r\nthis":[26],"paper":[27,72],"develops":[28],"an":[29],"original":[30],"structural":[31],"translation":[32],"GSPN":[34,50],"models":[35],"onto":[36],"UPPAAL":[37],"SMC":[38],"so":[39],"as":[40],"to":[41],"enable\r\n\r\nproperty":[42],"estimation":[43],"through":[44,81],"statistical":[45],"model":[46],"checking.":[47],"actual":[49],"supported":[51],"formal":[52],"language":[53],"admits,\r\n\r\nin":[54],"general,":[55],"tagged":[56],"tokens":[57],"carrying":[58],"timestamps,":[59],"queuing":[60],"places,":[61],"normal,":[62],"transport":[63],"inhibitor":[65],"arcs":[66],"and\r\n\r\ntimed":[67],"untimed":[69],"transitions.":[70],"This":[71],"describes":[73],"the":[74],"proposed":[75],"approach":[76],"demonstrates":[78],"its":[79],"practical\r\n\r\nusefulness":[80],"case":[83],"study.":[84]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}