Home

Session: Discrete Event Systems and Petri Nets I
Date/Time: Tuesday, 13 October 2009 / 02:00pm – 03:15pm
Venue: Room 14
Chair(s): Ricardo M. F. Lima/Cesar A. L. Oliveira

• Time 02:00 – 02:12
  [P491] Modeling and Analyzing Resource-Constrained Business Processes
  Author(s): Cesar A. L. Oliveira, Ricardo M. F. Lima, Thiago Andre, Hajo A. Reijers
   
• Time 02:12 – 02:24
  [P1016] Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets
  Author(s): Marcelo Teixeira, Ricardo M. F. Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel
   
• Time 02:24 – 02:36
  [P18] Synthetic workload generation for capacity planning of virtual server environments
  Author(s): Hugo Estanislau Soares Galindo, Wagner Medeiros Santos, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires
   
• Time 02:36 – 02:48
  [P188] Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
  Author(s): Ligia Maria Soares Passos, Stephane Julia
   
• Time 02:48 – 03:00
  [P398] A Hybrid DVS Scheduling Approach for Hard Real-Time Systems
  Author(s): Eduardo Tavares, Pedro Dallegrave, Bruno Silva, Gustavo Callou, Bruno Nogueira, Paulo Maciel
   
• Time 03:00 – 03:12
  [P455] A Decomposition Method for Optimal Firing Sequence Problems for First-order Hybrid Petri Nets
  Author(s): Nishi Tatsushi, Shimatani Kenichi, Inuiguchi Masahiro