Quote: Petri's original firing rule required no tokens at the outputs; a form of zero testing

Quotation Skeleton

Petri's original nets … Further, the firing rule was limited to requiring … the output places. A transition fired by removing … outputs (which now became full). [p. 201] Agerwala [1974a]P, Hack [1975c], Thomas [1976], and others have shown … net to simulate a Turing machine." [cbb: i.e. Petri's original firing rule was a form of zero testing].   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: Petri nets simulate Turing machines if they can test for zero

Related Topics

Topic: Petri net transitions and events (21 items)
Topic: Petri net (44 items)