{"id":"https://openalex.org/W2074308664","doi":"https://doi.org/10.1007/s11390-013-1323-7","title":"Nondeterministic Probabilistic Petri Net \u2014 A New Method to Study Qualitative and Quantitative Behaviors of System","display_name":"Nondeterministic Probabilistic Petri Net \u2014 A New Method to Study Qualitative and Quantitative Behaviors of System","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2074308664","doi":"https://doi.org/10.1007/s11390-013-1323-7","mag":"2074308664"},"language":"en","primary_location":{"id":"doi:10.1007/s11390-013-1323-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-013-1323-7","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"},"type":"article","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/A5100608066","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0002-1683-1859"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I4210118050","display_name":"Taishan University","ror":"https://ror.org/02bpnkx55","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210118050"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yang Liu","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China","School of Information Science and Technology, Taishan University, Taian, 271021, China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, 210093, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"School of Information Science and Technology, Taishan University, Taian, 271021, China","institution_ids":["https://openalex.org/I4210118050"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, 210093, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078511168","display_name":"Huaikou Miao","orcid":null},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huai-Kou Miao","raw_affiliation_strings":["Shanghai University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai University","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101416222","display_name":"Hongwei Zeng","orcid":"https://orcid.org/0000-0003-4215-3446"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hong-Wei Zeng","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102862727","display_name":"Yan Ma","orcid":"https://orcid.org/0009-0000-2525-0055"},"institutions":[{"id":"https://openalex.org/I4210118050","display_name":"Taishan University","ror":"https://ror.org/02bpnkx55","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210118050"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Ma","raw_affiliation_strings":["School of Information Science and Technology, Taishan University, Taian, 271021, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Taishan University, Taian, 271021, China","institution_ids":["https://openalex.org/I4210118050"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114949810","display_name":"Pan Liu","orcid":"https://orcid.org/0000-0003-1296-3288"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pan Liu","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China","institution_ids":["https://openalex.org/I141962983"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100608066"],"corresponding_institution_ids":["https://openalex.org/I141962983","https://openalex.org/I4210118050","https://openalex.org/I881766915"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.5517,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.89593469,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"28","issue":"1","first_page":"203","last_page":"216"},"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.9998000264167786,"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.9998000264167786,"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.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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/petri-net","display_name":"Petri net","score":0.873815655708313},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8512852191925049},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8190056085586548},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7759283185005188},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6724714040756226},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6027712821960449},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5153664946556091},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4686999022960663},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.459307998418808},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45364072918891907},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4468803405761719},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.42506933212280273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25418344140052795},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.17352455854415894}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.873815655708313},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8512852191925049},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8190056085586548},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7759283185005188},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6724714040756226},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6027712821960449},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5153664946556091},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4686999022960663},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.459307998418808},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45364072918891907},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4468803405761719},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.42506933212280273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25418344140052795},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.17352455854415894}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11390-013-1323-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-013-1323-7","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W54701845","https://openalex.org/W1480531236","https://openalex.org/W1481465901","https://openalex.org/W1482381349","https://openalex.org/W1498432697","https://openalex.org/W1527974694","https://openalex.org/W1570088913","https://openalex.org/W1597655219","https://openalex.org/W1601373402","https://openalex.org/W1850900101","https://openalex.org/W1934888383","https://openalex.org/W1996917540","https://openalex.org/W2001919784","https://openalex.org/W2005998857","https://openalex.org/W2006125863","https://openalex.org/W2042801853","https://openalex.org/W2051068608","https://openalex.org/W2062612541","https://openalex.org/W2079636926","https://openalex.org/W2080878579","https://openalex.org/W2083099459","https://openalex.org/W2123610695","https://openalex.org/W2144761450","https://openalex.org/W2491539874","https://openalex.org/W2564541487","https://openalex.org/W3144368627","https://openalex.org/W3217002478","https://openalex.org/W4238122987","https://openalex.org/W4242441073","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1601878028","https://openalex.org/W2381491984","https://openalex.org/W2362023948","https://openalex.org/W2257573499","https://openalex.org/W2016989291","https://openalex.org/W2380620445","https://openalex.org/W2089501676","https://openalex.org/W2064254377","https://openalex.org/W2108746194"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}