Satellite Events

The conference takes three days preceded by introductory and advanced tutorials and two workshops. Two co-located workshops will be held just after the conference. All the satellite events will take place in Aula Prodi or in Aula Gualandi which are in the same location (see the map here) .

Workshops

Token-based computing (ToBaCo)

Organized by Jordi Cortadella and Alex Yakovlev

URL: http://www.lsi.upc.es/~jordicf/tobaco04

Scope

Topics including but not restricted to:

• Petri nets and concurrency models for digital design and test
• Self-timed, asynchronous and GALS (globally asynchronous locally = synchronous) systems
• Reconfigurable and programmable devices for token based computing
• Processing and memory structures for token based computing
• Synchronization techniques for token based computing
• Interconnects and communication networks for token based computing
• CAD tools for token based computing
• Applications and case studies for token based computing
• Cellular automata and cellular non-linear networks
• Physical/technological paradigms for token-based computing (CMOS, SiGe, quantum, spintronics, molecular etc.)

Petri Nets and Coordination (PNC04)

Organized by Paolo Ciancarini

URL: http://www.cs.unibo.it/atpn2004/pnc04.html

2nd International Workshop on Security Issues
with Petri Nets and other Computational Models (WISP2004)

Organized by Nadia Busi, Roberto Gorrieri and Fabio Martinelli

Italy, Bologna, 26 June 2004

URL: http://www.iit.cnr.it/staff/fabio.martinelli/WISP2004cfp.htm

Tutorials

How to Model and Simulate Biological Pathways with Petri Nets
- A New Challenge for Systems Biology -

S. Miyano and H. Matsuno

URL: http://www.genomicobject.net/

Monitoring and Control of Discrete Event Systems

S. Lafortune

URL: www.eecs.umich.edu/umdes/publications/atpn2004-outline.pdf

What's new in UML 2? Challenges and Solutions for Model-Driven Development

Reiko Heckel and Jan-Hendrik Hausmann

URL: http://www.upb.de/cs/ag-engels/ag_engl/People/Heckel/talks/ATPN04Tutorial/

Introductory Tutorial on Petri Nets

Monday, June 21, 2004

Tuesday, June 22, 2004