| 8:00
|
8:00 - 8:30
Welcome
Desk / Registration |
|
|
8:30 |
8:30 - 9:00
Welcome &
Tech Preparation |
|
|
9:00 |
9:00 - 10:00
Keynote: Daniel Moldt
PAOSE: A Way to Develop Distributed Software Systems Based on
Petri Nets and Agents |
|
|
10:00 |
10:00 - 10:30
Session 1 |
- Modelling History-Dependent Business
Processes
Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia
Sidorova and Marc Voorhoeve
|
|
| 10:30
|
Coffee-break (10:30 - 11:00)
|
| 11:00 |
11:00 - 13:00
Session
2 |
- An
Ontology Based Architecture for Integrating Enterprise
Applications
Razika Driouche, Zizette Boufaїda and Fabrice Kordon
- Test Purpose of Duration Systems
Lotfi Majdoub and Riadh Robbana
- Simulation Modelling Performance
Dynamics of Ship Gas Turbine at the Load of the Ship’s
Synchronous Generator
Josko Dvornik and Eno Tireli
- Design and Evaluation Criteria for
Layered Architectures
Aurona Gerber, Andries Barnard and Alta van der Merwe
|
|
| 13:00
|
Lunch (13:00 - 14:30)
|
| 14:30
|
14:30 - 16:30
Session 3 |
- How Style Checking Can Improve
Business Process Models
Volker Gruhn and Ralf Laue
- A Petri Net Based Methodology for
Business Process Modeling and Simulation
Joseph Barjis and Han Reichgelt
- Animated Simulation for Business
Process Improvement
Joseph Barjis and Bryan D. MacDonald
- Specification of Deterministic Regular
Liveness Properties
Frank Nießner
|
|
| 16:30
|
Coffee-break (16:30 - 17:00)
|
| 17:00
|
17:00 - 18:30
Session 4 |
- PiXL: Applying XML Standards to
Support the Integration of Analysis Tools for Protocol
María del Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo
Nuñez and Ernesto Pimentel
- The Usefulness of a Generic Process
Model Structure
Alta van der Merwe, Paula Kotzé and Johannes Cronjé
- Validation of Visual Contracts for
Services
José D. de la Cruz, Lam-Son Lê and Alain Wegmann
|
|
| 19:00
|
Workshop Banquet |