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
fDate :
29 Jun-4 Jul 1997
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;
Conference_Titel :
Information Theory. 1997. Proceedings., 1997 IEEE International Symposium on
Conference_Location :
Ulm
Print_ISBN :
0-7803-3956-8
DOI :
10.1109/ISIT.1997.613250
