Desdobramento para Redes de Petri Temporais (Unfolding for Time Petri Net)

Franck Carlos Vélez Benito (franckbenito@utfpr.edu.br)1, Luiz Allan Künzle (kunzle@inf.ufpr.br)1


1Paraná Federal University, UFPR

This paper appears in: Revista IEEE América Latina

Publication Date: May 2017
Volume: 15,   Issue: 5 
ISSN: 1548-0992


Abstract:
State Class Graph is a very useful tool to analyse Time Petri nets properties. It generates however a states explosion problem in large Petri nets. This can be overcome by using unfolding technique, which still imposes restrictions on time analysis. This paper proposes a relaxation in the unfolding process, which generates a new occurrence net, in which all temporal sequences are preserved.

Index Terms:
Unfolding, Time Petri Nets, Petri Nets   


Documents that cite this document
This function is not implemented yet.


[PDF Full-Text (817)]