For the most recent entries see the Petri Nets Newsletter.

Place/Transition Nets with Debit Arcs.

Stotts, P.D.; Godfrey, P.

Technical Report UMIACS--TR--90--54, CS--TR--2454, pages 1-13 pp.. College Park, MD, USA: Maryland Univ., Inst. for Advanced Computer Studies, April 1990.

Abstract: The authors add an extension called debit arcs to place/transition nets. A debit arc allows its destination transition to fire whenever desired, but records a debt (or antitoken) in its source place if a token there is not consumed. A normal token can annihilate with an antitoken. Two natural rules for token/antitoken annihilation (instantaneous, and delayed) are examined. Nets with debit arcs are shown to be a special case of colored nets; under instantaneous annihilation, these nets are equivalent as a class to Turing machines.

Keywords: place/transition net (with) debit arc(s); antitoken; instantaneous, delayed token annihilation; coloured net; Turing machine.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography