pith. sign in

Title resolution pending

6(2):223–231 · 1978 · DOI 10.1016/0304-3975(78)90036-1

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.FL 1 cs.LO 1

years

2025 1 2022 1

verdicts

UNVERDICTED 2

representative citing papers

Structural Liveness of Conservative Petri Nets

cs.LO · 2025-03-14 · unverdicted · novelty 7.0

Structural liveness of conservative Petri nets is EXPSPACE-complete because minimal live markings are at most doubly exponential in net size.

Waiting Nets: State Classes and Taxonomy

cs.FL · 2022-11-19 · unverdicted · novelty 7.0

Waiting nets extend time Petri nets by decoupling time measurement from control, admit finite state class graphs for bounded instances, and are strictly more expressive than TPNs under timed language equivalence.

citing papers explorer

Showing 2 of 2 citing papers.

  • Structural Liveness of Conservative Petri Nets cs.LO · 2025-03-14 · unverdicted · none · ref 25

    Structural liveness of conservative Petri nets is EXPSPACE-complete because minimal live markings are at most doubly exponential in net size.

  • Waiting Nets: State Classes and Taxonomy cs.FL · 2022-11-19 · unverdicted · none · ref 4

    Waiting nets extend time Petri nets by decoupling time measurement from control, admit finite state class graphs for bounded instances, and are strictly more expressive than TPNs under timed language equivalence.