Title

Synthesis of Control Elements from Petri Net Models

Authors

J. R. Cox, Washington University in St. LouisFollow
D. Zar, Washington University in St. Louis

Document Type

Technical Report

Publication Date

2005-09-16

Filename

WUCSE-2005-43.pdf

DOI:

10.7936/K7DN43C6

Technical Report Number

WUCSE-2005-43

Abstract

Methods are presented for synthesizing delay-insensitive circuits whose behavior is specified by Petri net models of macromodular control elements. These control elements implement five natural functions used in asynchronous system design. Particular attention is paid to modules requiring mutual exclusion where metastability must be carefully controlled.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7DN43C6

Recommended Citation

Cox, J. R. and Zar, D., "Synthesis of Control Elements from Petri Net Models" Report Number: WUCSE-2005-43 (2005). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/960