DocumentCode
3051238
Title
Evaluation of Petri nets compressibility
Author
De Assis, Francisco M. ; Barros, Tomaz C.
Author_Institution
Dept. de Engenharia Eletrica, Univ. Fed. da Paraiba, Brazil
fYear
1997
fDate
29 Jun-4 Jul 1997
Firstpage
323
Abstract
It is shown that the compressibility of a live place and transition Petri net is given by the capacity of this reachability graph
Keywords
Petri nets; directed graphs; reachability analysis; directed graph; live place Petri net; parallel system; petri nets compressibility; reachability graph capacity; transition Petri net; Computer networks; Computer science; Encoding; Information systems; Lifting equipment; Mathematical model; Modulation coding; Petri nets; Protocols; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Theory. 1997. Proceedings., 1997 IEEE International Symposium on
Conference_Location
Ulm
Print_ISBN
0-7803-3956-8
Type
conf
DOI
10.1109/ISIT.1997.613250
Filename
613250
Link To Document