{"id":"https://openalex.org/W1986447260","doi":"https://doi.org/10.1145/1958746.1958754","title":"Computing first passage time distributions in stochastic well-formed nets","display_name":"Computing first passage time distributions in stochastic well-formed nets","publication_year":2011,"publication_date":"2011-03-15","ids":{"openalex":"https://openalex.org/W1986447260","doi":"https://doi.org/10.1145/1958746.1958754","mag":"1986447260"},"language":"en","primary_location":{"id":"doi:10.1145/1958746.1958754","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1958746.1958754","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056160729","display_name":"Gianfranco Balbo","orcid":"https://orcid.org/0000-0001-8719-9267"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianfranco Balbo","raw_affiliation_strings":["Universit\u00e0 di Torino"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Torino","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002392135","display_name":"Marco Beccuti","orcid":"https://orcid.org/0000-0001-6125-9460"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Beccuti","raw_affiliation_strings":["Universit\u00e0 di Torino"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Torino","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069220078","display_name":"Massimiliano De Pierro","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimiliano De Pierro","raw_affiliation_strings":["Universit\u00e0 di Torino"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Torino","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035023208","display_name":"Giuliana Franceschini","orcid":null},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuliana Franceschini","raw_affiliation_strings":["Universit\u00e0 del Piemonte Orientale","Universita del Piemonte Orientale"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 del Piemonte Orientale","institution_ids":["https://openalex.org/I123338534"]},{"raw_affiliation_string":"Universita del Piemonte Orientale","institution_ids":["https://openalex.org/I123338534"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7","last_page":"18"},"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.9998999834060669,"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.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9934999942779541,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.759482741355896},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7184312343597412},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5961138010025024},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5782688856124878},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5091573596000671},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49208492040634155},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.48202788829803467},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4118790030479431},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.28039348125457764},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20841041207313538},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14505290985107422}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.759482741355896},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7184312343597412},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5961138010025024},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5782688856124878},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5091573596000671},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49208492040634155},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.48202788829803467},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4118790030479431},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.28039348125457764},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20841041207313538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14505290985107422},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1958746.1958754","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1958746.1958754","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.712.8768","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.712.8768","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.di.unito.it/%7Ebeccuti/paper/pICPE11.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.550000011920929,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1534850333","https://openalex.org/W1915036959","https://openalex.org/W1952732242","https://openalex.org/W1986755980","https://openalex.org/W2062596124","https://openalex.org/W2069679358","https://openalex.org/W2096491753","https://openalex.org/W2135753519","https://openalex.org/W2136380704","https://openalex.org/W2146280594","https://openalex.org/W2146432221","https://openalex.org/W2152306521","https://openalex.org/W2154071973","https://openalex.org/W2171498329","https://openalex.org/W2175095366","https://openalex.org/W2891255201","https://openalex.org/W3175656849","https://openalex.org/W6637683540"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W1538101305","https://openalex.org/W791317142","https://openalex.org/W1816071588","https://openalex.org/W2010888474","https://openalex.org/W3012491251"],"abstract_inverted_index":{"The":[0],"increasing":[1],"demand":[2],"for":[3,51,63,99,149,179,215,221],"customer":[4,206,248],"centric":[5,207],"evaluation":[6],"of":[7,14,17,26,37,54,59,66,71,85,90,105,108,116,129,183,188,197,200,230,247,256],"systems,":[8],"mostly":[9],"related":[10],"with":[11,76],"the":[12,15,24,35,52,64,82,86,88,93,97,100,106,114,139,168,195,198,205,225,231,242,245,254,279,292],"assessment":[13],"quality":[16],"service":[18],"that":[19,146,251,274],"they":[20],"can":[21],"deliver,":[22],"requires":[23],"development":[25],"techniques":[27],"properly":[28],"designed":[29],"to":[30,33,42,81,145,157,166,217,236,240,269,276],"model":[31,280],"and":[32,102,141,203],"study":[34],"movement":[36],"specific":[38],"entities":[39,137],"generically":[40],"referred":[41],"as":[43],"\"customers\".":[44,170],"Stochastic":[45,123,151],"Well-Formed":[46,124],"Net(SWN)":[47],"are":[48,73,134,164,284],"naturally":[49],"suited":[50],"representation":[53,98],"systems":[55],"in":[56,122,138,161,190,234,244,278],"which":[57,162,283],"\"customers\"":[58],"different":[60,78],"categories":[61],"compete":[62],"use":[65],"common":[67],"resources.":[68],"Color":[69],"classes":[70],"SWN":[72,222,232,270],"easily":[74],"associated":[75],"these":[77],"categories,":[79],"leaving":[80],"peculiar":[83],"features":[84],"formalism":[87,140],"possibility":[89],"exploiting":[91,194],"all":[92],"symmetries":[94],"existing":[95],"into":[96],"efficient":[101],"effective":[103],"computation":[104,115,211,255],"measures":[107,121],"interest.":[109,131],"Within":[110],"this":[111,159,172,201],"application":[112],"context,":[113],"first":[117,208,257],"passage":[118,209,258],"time":[119,210,259],"distribution":[120],"Net":[125],"(SWN)":[126],"is":[127,155],"becoming":[128],"primary":[130],"Customers":[132],"however":[133],"not":[135],"primitive":[136],"an":[142,176,228],"approach":[143,212],"similar":[144],"previously":[147,213],"developed":[148,214],"Generalized":[150],"Petri":[152,266],"Nets":[153],"(GSPN)":[154],"suggested":[156],"overcome":[158],"problem":[160],"P-semiflows":[163,182],"used":[165],"identify":[167],"circulating":[169],"In":[171],"paper":[173,226],"we":[174],"propose":[175],"original":[177],"algorithm":[178],"computing":[180],"some":[181,271],"colored":[184],"PNs":[185],"(in":[186],"particular":[187],"SWNs)":[189],"parametric":[191],"form":[192],"by":[193,264,287],"peculiarities":[196],"objective":[199],"investigation,":[202],"extend":[204],"GSPNs,":[216],"make":[218],"it":[219],"suitable":[220],"models.":[223],"Moreover,":[224],"proposes":[227],"enhancement":[229],"notation":[233],"order":[235],"provide":[237],"a":[238],"way":[239],"ease":[241],"modeler":[243],"specification":[246],"scheduling":[249],"policies":[250],"may":[252],"affect":[253],"distributions.":[260],"This":[261],"extension,":[262],"inspired":[263],"Queueing":[265],"Nets,":[267],"adds":[268],"\"syntactic":[272],"sugar\"":[273],"allows":[275],"include":[277],"queueing":[281],"places":[282],"automatically":[285],"replaced":[286],"appropriate":[288],"submodels,":[289],"before":[290],"solving":[291],"model.":[293]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}