A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Efficient Algorithm for Exploring State Spaces of Petri Nets with Large Capacities Um Algoritmo Eficiente para Explorar Espaços de Estados de Redes de Petri com Grandes Capacidades

Kunihiko HIRAISHI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A geração de espaços de estado é um dos métodos importantes e gerais na análise de redes de Petri. Existem duas razões pelas quais os espaços de estados das redes de Petri se tornam tão grandes. Uma é a ocorrência simultânea de transições e a outra é a ocorrência periódica de sequências de disparo. Este artigo foca no segundo problema e propõe um novo algoritmo para explorar espaços de estados de redes de Petri de capacidade finita com grandes capacidades. No algoritmo proposto, o espaço de estados é representado na forma de uma árvore tal que um conjunto de marcações geradas por ocorrências periódicas de sequências de disparo está associado a cada nó, e é muito menor que o grafo de alcançabilidade.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2188-2195
Data de publicação
2000/11/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on Concurrent Systems Technology)
Categoria

autores

Palavra-chave