{"doi":"10.1007/s00236-019-00338-6","title":"Structural liveness of Petri nets is ExpSpace-hard and decidable","abstract":null,"journal":"Acta Informatica","year":2019,"id":21323,"datarank":0.2955878855914433,"base_score":1.791759469228055,"endowment":1.791759469228055,"self_citation_contribution":0.26876392038420827,"citation_network_contribution":0.026823965207235,"self_endowment_contribution":0.26876392038420827,"citer_contribution":0.026823965207235,"corpus_percentile":null,"corpus_rank":null,"citation_count":5,"citer_count":4,"citers_with_citation_signal":1,"citers_with_endowment":1,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":137727,"name":"David Purser","orcid":null,"position":1,"is_corresponding":false},{"id":137726,"name":"Petr Jančar","orcid":"0000-0002-8738-9850","position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":1.791759469228055,"endowment":1.791759469228055,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"21071399","pmcid":null,"openalex_id":"https://openalex.org/W2961758588","authors":[],"funders":[{"funder_name":"Grantová Agentura České Republiky","grant_id":"18-11193S","title":null},{"funder_name":"Engineering and Physical Sciences Research Council","grant_id":"EP/L016400/1","title":"EPSRC Centre for Doctoral Training in Urban Science and Progress"}],"total_grants":2,"fwci":0.3999,"citation_percentile":0.64364039,"influential_citations":1,"citation_trend":[{"year":2020,"count":1},{"year":2021,"count":1},{"year":2024,"count":1},{"year":2025,"count":2}],"oa_status":"green","license":"Springer TDM","oa_locations":[{"url":"http://wrap.warwick.ac.uk/120838/1/WRAP-structural-liveness-Petri-nets-Purser-2019.pdf","host_type":"repository"},{"url":"http://wrap.warwick.ac.uk/120838/1/WRAP-structural-liveness-Petri-nets-Purser-2019.pdf","host_type":"repository"},{"url":"http://link.springer.com/content/pdf/10.1007/s00236-019-00338-6.pdf","host_type":"publisher"},{"url":"http://link.springer.com/article/10.1007/s00236-019-00338-6/fulltext.html","host_type":"publisher"},{"url":"https://doi.org/10.1007/s00236-019-00338-6","host_type":"journal"},{"url":"https://zbmath.org/7093329","host_type":""},{"url":"https://dx.doi.org/10.1007/s00236-019-00338-6","host_type":""}],"fields_of_study":["Petri Nets in System Modeling","Formal Methods in Verification","Distributed systems and fault tolerance","Computer Science","0102 computer and information sciences","0101 mathematics","01 natural sciences"],"mesh_terms":[],"keywords":["Liveness","Decidability","Reachability","Reachability problem","Petri net","Computer science","Theory of computation","Theoretical computer science","Set (abstract data type)","Net (polyhedron)","Discrete mathematics","Class (philosophy)","Mathematics","Programming language","Artificial intelligence","TA","Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)","Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)","QA"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-06T15:31:39.015380Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}