| 8:00
|
Welcome Desk /
Registration |
| 9:00
|
| 9:00 - 9:30
Opening
9:30 - 10:30 - Invited Talk
A Framework for Ensuring System Dependability from Design to Implementation
Xudong He, Florida International University, U.S.A.
|
Room Charlemagne |
|
| 10:30
|
Coffe-break (10:30 - 11:00)
|
| 11:00
|
| 11:00 - 11:20
An Example of Business Process Simulation Using ARENA
Joseph Barjis
11:20 - 11:40
Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating
Josko Dvornik, Srðan Dvornik and Eno Tireli
11:40 - 12:10
Petri-net modeling of production systems based on production management data
Dejan Gradisar and Gasper Music
|
Room Charlemagne |
|
| 13:00 |
Lunch (13:00 - 14:30)
|
| 14:30
|
| 14:30 - 15:00
Model-checking Inherently Fair Linear-time Properties
Thierry Nicola, Frank Nießner and Ulrich Ultes-Nitsche
15:00 - 15:30
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case
Manuel I. Capel, Juan A. Holgado and Agustín Escámez
15:30 - 16:00
Modelling, Verification and Validation of the IEEE 802.15.4 forWireless Networks
Paulo Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich and Fabiano Salvadori
|
Room Charlemagne |
|
| 16:30
|
Coffe-break (16:30 - 17:00)
|
| 17:00
|
| 17:00 - 17:20
How to Synthesize Relational Database Transactions EB3 Attribute Definitions?
Frederic Gervais, Marc Frappier and Regine Laleau
17:20 - 17:40
Expanding Database Systems into self–verifying Entities
Kaare J. Kristoffersen and Yvonne Dittrich
17:40 - 18:00
An Active Rule Base Simulator based on Petri Nets
Joselito Medina-Marín and Xiaoou Li
|
Room Charlemagne |
|
| 19:00
|
Workshop Banquet (19:00 -
21:00) |