{"id":"https://openalex.org/W2506677820","doi":"https://doi.org/10.1007/978-3-319-39086-4_17","title":"Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models","display_name":"Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2506677820","doi":"https://doi.org/10.1007/978-3-319-39086-4_17","mag":"2506677820"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-39086-4_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-39086-4_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-319-39086-4_17","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036082702","display_name":"Krist\u00f3f Marussy","orcid":"https://orcid.org/0000-0002-9135-8256"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Krist\u00f3f Marussy","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008266492","display_name":"Attila Klenik","orcid":"https://orcid.org/0000-0003-2051-2823"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Attila Klenik","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062314301","display_name":"Vince Moln\u00e1r","orcid":"https://orcid.org/0000-0002-8204-7595"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vince Moln\u00e1r","raw_affiliation_strings":["MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056503742","display_name":"Andr\u00e1s V\u00f6r\u00f6s","orcid":"https://orcid.org/0000-0001-7617-3563"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Andr\u00e1s V\u00f6r\u00f6s","raw_affiliation_strings":["MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Budapest, Hungary","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022426737","display_name":"Istv\u00e1n Majzik","orcid":"https://orcid.org/0000-0002-1184-2882"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Istv\u00e1n Majzik","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058423790","display_name":"Mikl\u00f3s Telek","orcid":"https://orcid.org/0000-0001-9600-6084"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mikl\u00f3s Telek","raw_affiliation_strings":["MTA-BME Information Systems Research Group, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MTA-BME Information Systems Research Group, Budapest, Hungary","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5056503742"],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.5504,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80600939,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"281","last_page":"300"},"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.9995999932289124,"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.9995999932289124,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9962000250816345,"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/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.8043069839477539},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7508369088172913},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7402563095092773},{"id":"https://openalex.org/keywords/kronecker-delta","display_name":"Kronecker delta","score":0.6429352760314941},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5848721861839294},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5830150842666626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5275701284408569},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5171439051628113},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.45917394757270813},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.4307772219181061},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21733880043029785}],"concepts":[{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.8043069839477539},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7508369088172913},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7402563095092773},{"id":"https://openalex.org/C39482219","wikidata":"https://www.wikidata.org/wiki/Q192826","display_name":"Kronecker delta","level":2,"score":0.6429352760314941},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5848721861839294},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5830150842666626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5275701284408569},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5171439051628113},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.45917394757270813},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.4307772219181061},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21733880043029785},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-39086-4_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-39086-4_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:real.mtak.hu:48179","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book Section"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-39086-4_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-39086-4_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.46000000834465027,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W20432018","https://openalex.org/W34141764","https://openalex.org/W63967995","https://openalex.org/W776003551","https://openalex.org/W1534876514","https://openalex.org/W1575701986","https://openalex.org/W1601373402","https://openalex.org/W1626572155","https://openalex.org/W1784183156","https://openalex.org/W1974126518","https://openalex.org/W2001919784","https://openalex.org/W2054829530","https://openalex.org/W2055287110","https://openalex.org/W2107561541","https://openalex.org/W2122512770","https://openalex.org/W2124834540","https://openalex.org/W2126835091","https://openalex.org/W2135320702","https://openalex.org/W2150905801","https://openalex.org/W2155216327","https://openalex.org/W2162943184","https://openalex.org/W2169174934","https://openalex.org/W2561675875","https://openalex.org/W2563233999","https://openalex.org/W2652867808","https://openalex.org/W2671866304","https://openalex.org/W4242441073","https://openalex.org/W4285719527","https://openalex.org/W4300027076"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W1980200158","https://openalex.org/W2091203523","https://openalex.org/W1513546254","https://openalex.org/W2148229336","https://openalex.org/W2125164140","https://openalex.org/W2062463517"],"abstract_inverted_index":{"Stochastic":[0],"Petri":[1],"nets":[2],"are":[3],"widely":[4],"used":[5,83,105],"for":[6],"the":[7,24,35,50,54,86,107,114,118,123],"modeling":[8],"and":[9,75,90],"analysis":[10,26,62,78,109],"of":[11,14,27,38,49,56,117,125],"non-functional":[12],"properties":[13],"critical":[15],"systems.":[16],"The":[17],"state":[18,87],"space":[19,88],"explosion":[20],"problem":[21],"often":[22],"inhibits":[23],"numerical":[25],"such":[28],"models.":[29],"Symbolic":[30],"techniques":[31,58,74],"exist":[32],"to":[33,84,96,103],"explore":[34],"discrete":[36],"behavior":[37],"even":[39],"complex":[40],"models,":[41],"while":[42],"block":[43,99],"Kronecker":[44,100],"decomposition":[45],"provides":[46],"memory-efficient":[47],"representation":[48,89,102],"stochastic":[51,61,77,108],"behavior.":[52],"However,":[53],"combination":[55,116],"these":[57],"into":[59],"a":[60,91],"approach":[63],"is":[64,82,94],"not":[65],"straightforward.":[66],"In":[67],"this":[68],"paper":[69],"we":[70],"integrate":[71],"saturation-based":[72],"symbolic":[73],"decomposition-based":[76],"methods.":[79],"Saturation-based":[80],"exploration":[81],"build":[85,98],"new":[92],"algorithm":[93],"introduced":[95],"efficiently":[97],"matrix":[101],"be":[104],"by":[106],"algorithms.":[110],"Measurements":[111],"confirm":[112],"that":[113],"presented":[115],"two":[119],"representations":[120],"can":[121],"expand":[122],"limits":[124],"previous":[126],"approaches.":[127]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}