Petri Nets I - Room 10 Auditório Genipabu

1 CONSTRUCTION OF A SIMULATOR BASED ON PETRI NETS FOR PERFORMANCE ANALYSIS OF ATM NETWORKS; Tatiane Regina Bonfim (UNICAMP), Akebo Yamakami (UNICAMP).

2 SOME COMMENTS ON PETRI NET COMPRESSIBILITY WITH AN APPLICATION TO CALCULATION OF INFRARED WIRELESS CHANNEL CAPACITY; Edmar C. Gurjão (UFPB), Angelo Perkusich (UFPB), Francisco M. de Assis (UFPB).

3 AN UML/PETRI NET APPROACH FOR SCENARIO VERIFICATION OF REAL TIME SYSTEMS; Elisângela Mieko Kanashiro (UFU), Stéphane Julia (UFU).

4 INTEGRATED TYPE ANALYZER AND STATE SPACE GENERATOR  OF OBJECT-ORIENTED PETRI NETS; Bohuslav Krena (Brno University of Tecnology/República Tcheca), Tomas Vojnar (Brno University of Tecnology/República Tcheca), Milan  Ceska (BrnoUniversity of Tecnology/República Tcheca).

5 UNDERSTANDING SLIDING-WINDOW FLOW CONTROL PROTOCOLS THROUGH THE USE OF COLORED PETRI NETS; Miguel Menasche (INATEL).

Coordenador: Prof.

Palestra Convidada - Sala 10 Auditório Genipabu

A Systematic Construction and Performance Analysis of Cluster Tools using Timed Petri Nets Models

Palestrante: Prof. W. Zuberek (Memorial University St. John's, Canadá)
Coordenador: Dr. Paulo Maciel (UFPE)

Redes de Petri II - Sala 10 Auditório Genipabu

6 SYSTEM OF FAULT DIAGNOSIS FOR ELECTRIC POWER SYSTEMS BASED ON COLORED PETRI NETS; Raimundo Furtado Sampaio (COELCE), Giovanni Cordeiro Barroso (UFC), Ruth Pastôra Saraiva Leão (UFC).
7 EXPERIMENTING A NOTATION BASED ON PETRI NETS AND OBJECT-ORIENTED CONCEPTS; Edna D. Canedo (UFPB), José Amâncio M. dos Santos (UFPB), Jorge César A. de Figueiredo (UFPB), Dalton Dario S. Guerrero (UFPB).
8 ON THE USE OF PETRI NETS FOR DESCRIPTION OF DIGITAL SYSTEMS; Norian Marranghello (UNESP), Wagner L. A. de Oliveira (UNICAMP), Furio Damiani (UNICAMP).
9 REGISTER ESTIMATION METHOD BASED ON PETRI NETS FOR DIGITAL SYSTEM DESIGN; Paulo Maciel (UFPE), Edna Barros, Renata Cavalcanti, Tomaz Barros (UFPE).

Coordenador: Prof.