MyersResearchGroup / ATACS

Apache License 2.0
9 stars 1 forks source link

potential bug in postprocess #39

Open buggsley opened 8 years ago

buggsley commented 8 years ago

---------- Forwarded message ---------- Date: Fri, 24 Jan 2003 14:22:35 -0700 (MST) From: Hao Zheng hao@chen.elen.utah.edu To: Chris J. Myers myers@vlsigroup.ece.utah.edu Subject: Re: bug in doc

Well, in that transformation, both t2 and t3 are dummies, so we shouldn't care how many times t2 fires. This should be pointed out and the code should be modified.

Thanks Hao

On Fri, 24 Jan 2003, Chris J. Myers wrote:

Hi,

Figure 2 in your doc has a problem. In net 2(a), t2 can fire an infinite number of times before t4 fires, but in 2(b) it can fire only once.
What's wrong here?

Cheers,

Chris