Place/Transition Nets with Debit Arcs

  title={Place/Transition Nets with Debit Arcs},
  author={P. David Stotts and Parke Godfrey},
  journal={Inf. Process. Lett.},
We add an extension called debit arcs to traditional place/transition nets. A debit arc incident upon a transition represents an always true precondition; when the transition res, a token is subtracted from the place issuing the debit arc, regardless of whether there are any tokens present there. Properties of this net extension are considered. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references