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

Franck Carlos Vélez Benito (, Luiz Allan Künzle (

1Paraná Federal University, UFPR

This paper appears in: Revista IEEE América Latina

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

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)]