DMCA
Place/Transition Nets with Debit Arcs (1992)
| Venue: | Information Processing Letters |
| Citations: | 3 - 1 self |
BibTeX
@ARTICLE{Stotts92place/transitionnets,
author = {P. David Stotts and Parke Godfrey},
title = {Place/Transition Nets with Debit Arcs},
journal = {Information Processing Letters},
year = {1992},
volume = {41},
pages = {25--33}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 fires, 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. Key words: Petri nets, place/transition nets, automata theory, formal languages, parallel computation model, colored nets, high-level nets. CR categories: F.1.1 (Petri nets) 1
