The Petri Net Markup Language (PNML) Wellington João da Silva Mestrado Ciência da Computação.

Apresentação em tema: "The Petri Net Markup Language (PNML) Wellington João da Silva Mestrado Ciência da Computação."— Transcrição da apresentação:

1 The Petri Net Markup Language (PNML) Wellington João da Silva Mestrado Ciência da Computação

2 Introdução Existem várias ferramentas para redes de Petri Cada ferramenta tem forma própria de representação da redes Comunicação entre ferramentas é dificultado Solução: definir um modelo comum de representação das redes de Petri

3 The Petri Net Markup Language (PNML) Formato de intercambio para redes de Petri baseado em XML Tentativa de padronização da representação de redes de Petri usando XML Objetiva definir um formato de arquivo que suporte todos os tipos de Redes de Petri Originalmente desenvolvido como um formato de arquivo para a versão Java do Petri Net Kernel

4 The Petri Net Markup Language (PNML) PNML distingue Características gerais de todas as redes de Petri lugares, transições, arcos, identificações de objetos Características específicas de cada tipo particular de rede de Petri marcações, guardas, tempo, inscrição dos arcos,tipo dos lugares

5 Conceitos Básicos XML (Extensible Markup Language) XML é uma especificação desenvolvida pela W3C e designada especificamente para documentos WEB. XML permite a criação tags próprias, habilitando a definição, transmissão, validação e interpretação de dados entre aplicações ou entre organizações. XSD (XML Schema Definition) Especifica como descrever formalmente os elementos em um documento XML. DTD (Document type definition) Define a estrutura de um documento XML com uma lista de elementos legais.

6 Conceitos Básicos Petri net file Arquivo utilizado para representar redes de Petri Objetos Representam a estrutura da rede Lugar, transição e arco Paginas, lugares de referência, transições de referência (específicos da ferramenta) Cada objeto em uma rede de Petri possui um identificador único. Objetos são denominados nós, por conveniência

7 Conceitos Básicos Rótulo Atribui informação adicional a um objeto Nome de um nó, marcação de um lugar, guarda de uma transição, etc. Dois tipos de rótulos Anotação - Domínio infinito de valores legais. Ex.: nomes, marcações, etc Atributo - Domínio finito (e pequeno) de valores legais

8 Conceitos Básicos Informação gráfica Cada objeto está associado com alguma informação gráfica: Nó – posição Arco – lista de posições que definem pontos intermediários de um arco Anotação – posição relativa com respeito ao objeto correspondente

9 Conceitos Básicos Páginas e nós de referência Página é um objeto que pode ser composto de outros objetos, incluindo páginas. Um arco só pode conectar nós na mesma página. Nós de Referência são utilizados para conectar nós em páginas distintas Nós de referência podem ser usados para referenciar nós em qualquer local da rede. Cuidado deve ser tomado para evitar referências cíclicas.

10 Conceitos Básicos Módulos e Instâncias Suporte a definição de módulos, instanciação de módulos e construção de redes de Petri a partir destas instâncias Informações específicas da ferramenta Para algumas ferramentas, pode ser necessário armazenar algumas informações internas que não serão utilizadas por outras ferramentas

11 Conceitos Básicos Tipos de Rede Rótulos disponíveis e combinações legais dos mesmos para um objeto em particular são definidos por um tipo específico de rede de Petri (Petri net Type). Tecnicamente, um tipo de rede de Petri é um documento que define a sintaxe XML dos rótulos, ou seja, um DTD ou um XML- esquema

12 Conceitos Básicos Tipos de Rede e convenções A principio, um tipo de rede de Petri pode ser definido livremente. Na prática, seus rótulos são escolhidos de uma coleção de rótulos predefinidos, que são fornecidos em um arquivo separado: as convenções. As convenções garantem que um mesmo rótulo tenha o mesmo significado em todos os tipos de rede de Petri

13 Exemplo: lugar ready to produce P

14 Exemplo: transição...

15 Exemplo: arco x

16 Exemplo: página Example page of the net...............

17 Exemplo: rede Example high-level net......

18 Exemplo:Net type Specification DTD

19 Algumas considerações Marcações são rótulos de lugares e ocorrem em redes de todos os tipos, mas suas formas diferem Parte de PNML ou parte de PNTD? Rótulos diferem em significado e sintaxe Como transferir informações entre redes de tipos distintos?

20 Bibliografia The Petri Net Markup Language – Matthias Jüngel, Ekkart Kindler, Michael Weber The Petri Net Markup Language and other XML-based Interchange Formats for Petri Nets - C. Ermel Petri net Markup language - http://www.informatik.hu-berlin.de/top/pnml/