Execução de modelos de redes de Petri IOPT usando o conceito de contenda e computação paralela

O ambiente de desenvolvimento IOPT-Tools, disponível publicamente em http://gres.uninova.pt/IOPT-Tools/ e resultado das contribuições de um elevado número de investigadores e estudantes de doutoramento e de mestrado, permite, entre outras funções, a edição de modelos IOPT (uma classe de redes de Pet...

Full description

Bibliographic Details
Main Author: Gabriel, Alexandre Luís de Sousa (author)
Format: masterThesis
Language:por
Published: 2022
Subjects:
Online Access:http://hdl.handle.net/10362/144490
Country:Portugal
Oai:oai:run.unl.pt:10362/144490