Introduzir os conceitos de esquema e Redes de Petri já padronizadas (rede P/T e de alto nível), as extensões, e as novas tendências de pesquisa em redes de Petri e suas aplicações na modelagem e análise de sistemas discretos. O curso é introdutório e não pressupõe experiência prévia com modelagem e análise em Redes de Petri. O curso será baseado no padrão já adotado pela norma ISO/IEC 15909 para redes clássicas e de alto nível. Uma breve introdução será feita sobre as possiveis extensões.