Desdobramento para Redes de Petri Temporais
(Unfolding for Time Petri Net)
Franck Carlos Vélez Benito (email@example.com)1, Luiz Allan Künzle (firstname.lastname@example.org)1
1Paraná Federal University, UFPR
This paper appears in: Revista IEEE América Latina
Publication Date: May 2017
Volume: 15, Issue: 5
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.
Unfolding, Time Petri Nets, Petri Nets
Documents that cite this
This function is not implemented yet.
[PDF Full-Text (817)]