Paper Citation Record · LEDGER

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets

As of 16 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:1909.01750.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1909.01750 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:15:59.215559Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

14 of 14 outbound references displayed

verified exact6
verified fuzzy0
unresolved4
parse uncertain0
malformed identifier1
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ca4c09ac-4a98-4409-8500-00915bd0fd57 · outbound

This paper cites Baarir, M.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Baarir, M

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T05:15:59.653725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 26772c32-7772-466e-bd15-11d375eace85 · outbound

This paper cites Baldan, A.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Baldan, A

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T05:15:59.388542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3b903aea-5960-4230-b925-99956a3de12c · outbound

This paper cites Capra, M.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Capra, M

Reference 3

Resolution: verified exact; doi, observed 2026-08-14T05:15:59.372809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 82ca613c-83ca-4b21-a6d1-4ff4646e8bc5 · outbound

This paper cites Capra, M.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Capra, M

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T05:15:59.165773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85b6e39b-bea4-428e-8ab1-68ecd7af7b34 · outbound

This paper cites Capra, M.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Capra, M

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T05:15:59.578020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation eaee4b97-916d-48ff-9be3-1f907295bbf2 · outbound

This paper cites Chiola, C.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Chiola, C

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T05:15:59.347678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8b4dc2ee-bbc5-4530-8455-6e2e876d66e7 · outbound

This paper cites Chiola, C.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Chiola, C

Reference 7

Resolution: verified exact; doi, observed 2026-08-14T05:15:59.332448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 084b2792-d0c5-4f28-8aa9-5bb236cb976c · outbound

This paper cites an unresolved cited work.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Unresolved cited work

Reference 8

Resolution: malformed identifier; doi_truncated, observed 2026-08-14T05:15:59.316270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b152d568-cab1-4a71-b055-d9ab4ed372d8 · outbound

This paper cites Dutheillet & S.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Dutheillet & S

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T05:15:59.506895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bd6a5ff6-a374-46ad-a83a-5ecc64ca7a7c · outbound

This paper cites Ehrig & J.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Ehrig & J

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T05:15:59.196384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ee1ac8d-411d-4777-b96d-de4256950b3b · outbound

This paper cites Jensen (1997): Coloured Petri Nets.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Jensen (1997): Coloured Petri Nets

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T05:15:59.200394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 406c51f2-1b2e-4f72-ac89-ac50c6068b93 · outbound

This paper cites Jensen & G.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Jensen & G

Reference 12

Resolution: verified exact; doi, observed 2026-08-14T05:15:59.279684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a18114ea-d66e-4080-97ae-cb083423f1e6 · outbound

This paper cites Kreowski (1980): A Comparison Between Petri-Nets and Graph Grammars.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Kreowski (1980): A Comparison Between Petri-Nets and Graph Grammars

Reference 13

Resolution: verified exact; doi, observed 2026-08-14T05:15:59.264476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bca8113d-9921-405f-8406-e64a892e3fe6 · outbound

This paper cites Reisig (1985): Petri Nets: An Introduction.

An Operational Semantics of Graph Transformation Systems Using Symmetric Nets Reisig (1985): Petri Nets: An Introduction

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T05:15:59.215559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.