×

是代币游戏的演员吗? (英语) Zbl 1047.68612号

Esparza,Javier(编辑)等人,《Petri网的应用和理论》,2002年。第23届国际会议,ICATPN 2002,澳大利亚阿德莱德,2002年6月24-30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43787-8)。莱克特。注释计算。科学。2360, 70-79 (2002).
概述:随着半导体技术朝着在单个芯片上集成数十亿个晶体管的方向迈进,深亚微米工艺特性和设计生产力方面的问题需要行为模型领域的新方法。本讲座重点介绍了Petri网在设计异步电路方面的一些最新发展和新机会,例如在异步设计流中合成良好的基于网络的“后端”,以及网络到电路的面向性能的映射。
关于整个系列,请参见[兹比尔0992.00053].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68单位07 计算机辅助设计的计算机科学方面
PDF格式BibTeX公司 XML格式引用
全文: 链接