Decidability Issues for Petri Nets -- a survey

We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.

Authors

Javier Esparza (ORCID: https://orcid.org/0000-0001-9862-4919)
Mogens Nielsen

Publication Details

Journal: arXiv (Cornell University)
Published: 2024-11-03
DOI: https://doi.org/10.48550/arxiv.2411.01592
Citations: 75
Primary Topic: Petri Nets in System Modeling
Type: article

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Decidability Issues for Petri Nets -- a survey

Javier Esparza, Mogens Nielsen

Nov 3, 2024

75 citations

arXiv (Cornell University)

Petri Nets in System Modeling

article

Decidability Issues for Petri Nets -- a survey

Javier Esparza, Mogens Nielsen

November 3, 2024article en

75 citations

Abstract

We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.

arXiv (Cornell University)Vol. 30

Climate action

Petri Nets in System Modeling

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Decidability Issues for Petri Nets -- a survey — Javier Esparza, Mogens Nielsen · arXiv (Cornell University) (2024) | TGRS Research Map | TGRS