@techreport{R-85-19,
TITLE = {Microprogramming Implementation of Timed Petri Nets},
AUTHOR = {Krzysztof Kuchinski and Zebo Peng },
YEAR = {1985},
NUMBER = {R-85-19},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-85-19+abstr},
ABSTRACT = {This paper describes a method to implement restricted timed Petri nets by microprograms. These timed Petri nets are used to represent control parts of VLSI systems to produce sequences of control signals that evoke the operations of a corresponding data part. The proposed method consists of a set of transformation algorithms which have been implemented as parts of CAMAD, an integrated design aid system. We have also studied the problem of microprogram optimization, for example, how to reconstruct the control structure of a VLSI system so as to produce better microprograms.},
IDANR = {LiTH-IDA-R-85-19},
NOTE = {Also publ in North-Holland INTEGRATION, the VLSI Journal No 5, 1987}