Petri nets and speed independent design
- 1 August 1973
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 16 (8), 474-481
- https://doi.org/10.1145/355609.362318
Abstract
Petri nets are investigated as one method of modeling speed independent asynchronous circuits. A study of circuit realizations of Petri nets leads to a demonstration of their usefulness in modeling speed independent operation. This usefulness is emphasized by the design of a speed independent processor from modules developed in the investigation of Petri net implementation.Keywords
This publication has 7 references indexed in Scilit:
- Marked directed graphsJournal of Computer and System Sciences, 1971
- Asynchronous control networksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1969
- Control Units for Sequencing Complex Asynchronous OperationsIEEE Transactions on Electronic Computers, 1962
- Problems in the physical realization of speed independent circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961
- A flow chart notation for the description of a speed- independent controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961
- One method for designing speed independent logic for a controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961
- An introduction to speed independent circuit theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961