Decidability Issues for Petri Nets.

Esparza, J., & Nielsen, M. (1994). Decidability Issues for Petri Nets. Information Processing and Cybernetics, 143-160.

Type

Journal article

Intellectual base

Primary research

Year

1994

Link

https://pure.au.dk/portal/en/publications/decidability-issues-for-petri-nets/

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Vector Addition System
  • These formalisms are standard models of concurrency and infinite-state verification.

    This sourceAarhus record: `https://pure.au.dk/portal/en/publications/decidability-issues-for-petri-nets/`.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:67f094cfab6b · see in the full table