%0 Journal Article
%A Xia, Chuanliang
%A Shen, Bin
%A Zhang, Hailin
%A Wang, Yigui

%D 2018
%J Computer Systems Science and Engineering

%@ 
%V 33
%N 5
%P 345--350

%T Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems
%M doi:10.32604/csse.2018.33.345
%U http://www.techscience.com/csse/v33n5/39986