Pilot corpus: NIH-funded biomedical datasets. Any DOI can be scored on demand — network effects sharpen as coverage grows.

Structural liveness of Petri nets is ExpSpace-hard and decidable

Acta Informatica(2019)10.1007/s00236-019-00338-6Source: DataRank Database

Structural liveness of Petri nets is ExpSpace-hard and decidable is a research paper published in Acta Informatica (2019). On theSindex it has a DataRank of 0.296. It has been cited 5 times, with 4 citing works in its 1-hop citation network.

N/A

0.296DataRank · unranked

Scored on demand from live citation data

5 citations · 4 citing works in its network

Download PDF

Cite:

DataRank reads this dataset's downstream impact straight off the citation graph — no black box, no proprietary weighting. How is this computed?

›Methodology & internals

datarank_citation_only_1hop_v6· scope data_onlyMethodology

Pipeline:MetadataData-paper checkEnrichmentCitation networkScoring

Enrichment:Funding (2 grants)Impact (FWCI 0.36)OA: greenTopics (27)IDs (PubMed, OpenAlex)

FAIR Checklist

Context only (not used in score)

Findable (1/2)

Has DOI

Accessible (0/2)

Interoperable (0/2)

Reusable (0/3)

FAIR checklist signals are shown for context only and do not affect DataRank scoring.

Run a calibrated FAIR evaluation for this paper →

We only score data papers we can read in full — never from an abstract alone.

DataRank Breakdown

Base Score 91%Citation Network 9%

Base Score Contribution

0.269

From this paper's citation signal

Citation Network Contribution

0.0268

From 1 citing papers with measurable signal

Learn more about DataRank methodology →

Authors (2)

David Purser,Petr Jančar ORCID

Live enrichment

PubMed:21097893 OpenAlex:https://openalex.org/W2961758588

Grantová Agentura České Republiky

Grant: 18-11193S

Engineering and Physical Sciences Research Council

Grant: EP/L016400/1

EPSRC Centre for Doctoral Training in Urban Science and Progress

FWCI

0.36

Citation Percentile

0.6%

Influential Citations

Citation Trend

2020

2021

2024

2025

greenLicense: Springer TDM

repositoryhttp://wrap.warwick.ac.uk/120838/1/WRAP-structural-liveness-Petri-nets-Purser-2019.pdf

GREENhttp://wrap.warwick.ac.uk/120838/1/WRAP-structural-liveness-Petri-nets-Purser-2019.pdf

repositoryhttp://wrap.warwick.ac.uk/120838/1/WRAP-structural-liveness-Petri-nets-Purser-2019.pdf

publisherhttp://link.springer.com/content/pdf/10.1007/s00236-019-00338-6.pdf

publisherhttp://link.springer.com/article/10.1007/s00236-019-00338-6/fulltext.html

Fields of Study

Petri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault toleranceComputer Science0102 computer and information sciences0101 mathematics01 natural sciences

Keywords

LivenessDecidabilityReachabilityReachability problemPetri netComputer scienceTheory of computationTheoretical computer scienceSet (abstract data type)Net (polyhedron)Discrete mathematicsClass (philosophy)MathematicsProgramming languageArtificial intelligenceTAComputer sciences, information science, bioinformathicsModels 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

Structural liveness of Petri nets is ExpSpace-hard and decidable

FAIR Checklist

DataRank Breakdown

Authors (2)

Funding (2 grants)

Impact

Open Access

Topics