Redes de Petri e aplicações industriais: Um tutorial

As redes de Petri, como uma ferramenta gráfica e matemática, fornecem um ambiente uniforme para modelagem, análise formal e projeto de sistemas de eventos discretos. O principal objetivo deste artigo é introduzir os conceitos fundamentais das redes de Petri a pesquisadores e profissionais, tanto da academia quanto da indústria, que estão envolvidos em trabalhos nas áreas de modelagem e análise de tipos industriais de sistemas, bem como aqueles que possam potencialmente estar envolvidos nessas áreas. O artigo começa com uma visão geral das aplicações das redes de Petri, principalmente industriais. Em seguida, procede com uma descrição das redes de Petri, propriedades e métodos de análise. A discussão das propriedades é colocada no contexto das aplicações industriais. Os métodos de análise são ilustrados usando um exemplo de um sistema simples de montagem robótica. A análise de desempenho, utilizando redes de Petri, é discutida para redes de Petri determinísticas e estocásticas. As técnicas apresentadas são ilustradas por exemplos que representam sistemas de produção simples. Além disso, o artigo introduz redes de Petri de alto nível, redes de Petri fuzzy e redes de Petri temporais. Isso é feito no contexto das perspectivas de aplicação. O artigo também discute brevemente algumas das razões que restringem o uso das redes de Petri, principalmente, a instituições acadêmicas.