Programme of ToBaCo   (Tuesday, June 22, 2004)
  9.20
  9.30		 OPENING
  9.30
10.30
Invited Talk

Dr. Ferdinand Peper

Senior researcher at Nanotechnology group of Communications Research Laboratory (CRL), Kobe,
and Visiting professor at Himeji Institute of Technology, Himeji

Token-based computing on nanometer scales
 
10.30
11.00
Coffee break
10.30
12.30		 Session 1

Modelling and Analysis of Self-Timed Cellular Automata Using High-Level Petri Nets,
O. Penttinen.

Interactive Behaviour of Multi-Component Systems,
J. Carmona and H.C.M. Kleijn.

Decomposition-based Calculation of Petri net Invariants,
D.A. Zaitsev.
12.30
14.00		 Lunch
14.00
15.30		 Session 2

A Software Power Cost Analysis based on Colored Petri Net,
M. Oliveira Júnior, P. Marciel, F. Carvalho and R. Barreto.

Reduction in synchronization in bundled data systems,
C.F. Brej and J.D. Garside.

A Standard Cell Implementation of a Phased Logic CPU,
R.B. Reese, M.A. Thornton and C. Traver.
15.30
16.00
Coffee break
16.00
17.00		 Session 3

From Hardware Processes to Asynchronous Circuits via Petri nets: an Application to Arbiter Design,
M. Renaudin and A. Yakovlev.

Gate Transfer Level Synthesis as an Automated Approach to Fine-Grain Pipelining,
A. Smirnov, A. Taubin, M. Karpovsky and L. Rozenblyum.