Banca de QUALIFICAÇÃO: GUSTAVO BORGES LUGOBONI

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : GUSTAVO BORGES LUGOBONI
DATA : 09/08/2019
HORA: 14:00
LOCAL: sala 306, 3º andar, Bloco B, Campus SA da Fundação Universidade Federal do ABC, localizada na Avenida dos Estados, 5001, Santa Terezinha, Santo André, SP
TÍTULO:

A method for simulating and verifying nested Petri nets

PÁGINAS: 80
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Teoria da Computação
ESPECIALIDADE: Computabilidade e Modelos de Computação
RESUMO:

The Petri nets formalism has been adapted and extended in several ways in order to support e.g.
structured data, hierarchies, time, communication, priorities, nesting and recursion. The last two
features, combined in the nested Petri nets, allow an incremental modeling by using multiple layers,
which is very convenient for dealing with complex systems. In spite of this fact, currently there is
no tool to simulate and verify the properties of these nets. Therefore,in practice these multilayer
nets are usually turned into in flat nets. This flattening process increases significantly the size of
the net, making harder the simulation and the interpretation of the results in the original model
after verification.

The aim of this project is to build a framework for analyzing a nested Petri net easily and preserving
its multilayer structure. To this end, the project proposes the use of model checking tools
usually applied to software verification. In particular, the nested Petri nets will be translated into
input models for the SPIN model checker. The project will build a benchmark of nested networks
based on models that arise mainly from two application domains: multi-agent systems and workflows.
Other examples of the literature will be used to evaluate the effectiveness of the method and to
compare the results with other initiatives.

MEMBROS DA BANCA:
Presidente - Interno ao Programa - 2127168 - MIRTHA LINA FERNANDEZ VENERO
Membro Titular - Examinador(a) Externo à Instituição - KELLY ROSA BRAGHETTO - USP
Membro Titular - Examinador(a) Externo à Instituição - JOSÉ REINALDO SILVA - USP
Membro Suplente - Examinador(a) Interno ao Programa - 3009301 - VLADIMIR EMILIANO MOREIRA ROCHA
Membro Suplente - Examinador(a) Externo ao Programa - 1544284 - LUIS ALBERTO MARTINEZ RIASCOS
Membro Suplente - Examinador(a) Externo ao Programa - 1760938 - DANIEL MORGATO MARTIN